Slide 7: An unsatisfying solution
Slide 8: Liskov Substitution Principle