Inheritance and invariance


slide: Inheritance and invariance