Very good article!
I'm confused with "Strength Class Invariants" and "Weakens the precondition". With those examples it looks like a contradiction.
Really, thank you Adrián RC. I am so pleased to know that. Actually, such valuable feedbacks encourage me a lot.