Thanks a lot, Carlos. You are right, the example was a little confusing. I have just edited it. Thanks for your valuable feedback.
Very good article!
I'm confused with "Strength Class Invariants" and "Weakens the precondition". With those examples it looks like a contradiction.
Carlos Andrés Sierra Betancur
Thanks for the article. One quick question though: isn’t the example in “Covariance of Return Types” violating the “Countervariance of Method Arguments”? The subtype can only receive strings, but the super type can also receive numbers.