Ian:
thank you for your message on the object version of the Law.
I propose that we take the following point of view:
We put the object version of the Law into the center:

A method may send messages only to the following OBJECTS: 
    'self', 
    the objects passed by the method's parameters, 
    objects created by the method, 
    children (if self is a repetition object), and 
    parts of self (if self is a construction object).

Conceptually, we would like to remember and work with this Law.
But for practical reasons, we check at compile-time the Law in terms of
types.

The reduction is well explained. The text needs some modification
based on the view presented above.

Do you and Arthur agree with this important view point?

-- Karl