. . "For example, assume that a thread executes a.x (where a is an object and x is a method associated with object a)." . . .