Man I loved the Eiffel book.  When I think about the difference between invariants and pre&#x2F;post-condition contracts, vs the &quot;bean&quot; anti-pattern that industry went with, I want to vomit.