Contracts and Assertions
- slide 22 : 32
Inheritance is Subcontracting