Ah, yes, I had forgotten structured programming.  Yes, it won and goto lost, and the world is better for it.<p>What I was referring to, though, was what I think was Dijkstra&#x27;s main idea:  That programming should be done by a particular approach (the &quot;postulational method&quot;) that allows&#x2F;requires mathematical reasoning about code, and that code should be mathematically proven to be correct.  <i>That</i> idea is used very little.