Proof-Driven Development (Or – The Business Value of Clean Code) | Not Hacker News!