Inheritance and invariance
slide
:
Inheritance and invariance