slide: Behavioral subtypes -- example