In the form it was first described it is rather difficult to follow, so I here rewrite it in terms of messages. The law controls what objects you can send a message to. Messages can only be sent to your arguments, your instance variables, globals, and temporaries. In the strong form of the law you are not allowed to use globals or inherited data fields.