Subtype
-- signature and behavior
preservation of behavioral properties
slide
:
Subtyping and behavior