slide
:
Behavioral subtyping constraints