Conformance
-- behavioral refinement
if B refines A then B may be used wherever A is allowed
slide
:
Behavioral refinement