φ
slide
:
Behavioral subtypes -- example