Proof-Driven Development (Or – The Business Value of Clean Code)