computation is sending messages
if B is a subtype of A then B may be used wherever A is used
code sharing
(storage representation + operations)
slide
:
The substitutability requirement