• Method lookup is much less trivial: it's performed in cooperation between the arguments. Objects' dictionaries are searched in tandem, and first-found method sets are intersected to determine the first useful method.
• The semantics allow us to express systems more powerfully, but also forced us to consider optimization issues earlier in the design cycle.

Notes: