slide: Behavioral subtypes -- correspondence