&gt; Is there some reason to believe that with enough money software could be bug-free?<p>Yes. It&#x27;s pretty easy to write provably correct software, just expensive.<p>&gt; Developers are often guilty of just refactoring for no particularly good reason other than their personal sense of aesthetic, which can lead to endless (and destructive) refactoring<p>Not my experience, but even if so, if you require your software to be proven correct then it won&#x27;t matter - any refactor that breaks it simply won&#x27;t be accepted.<p>&gt; More money also makes people design lazy, so that instead of finding clever ways to reduce effort and improve uniformity, you just have everyone make their own forms.<p>Um what? What does this have to do with anything?