It's always better when we finally understand each other (and we're writing in english, kindof).
I am much closer to agreeing with you now.
The Invariant, Pre-Condition, Post-Condition paradigm is incredibly powerful, and a standard they used to teach everyone. I'm not sure when they stopped. A Discipline of Programming
Design Patterns to solve similar problems over and over again. These can be fairly easily recognized if implemented in the clasical design patterns in an OO sytem. Design patterns have been around for longer than that term had been coined. There are slight variations, but there is a good reason that design memory is one of the few skills needed by all engineering disciplines. Learn to recognize and use the standard design patterns (at various levels) and you will make your work-life, and the work-lives of those that come after you much easier.