Specifications for observers have the defined by clause, as they don't affect the behavior of any subsequent message. For example, in the ReadWrite interface, the Read operation can be called any number of times without affecting the behavior of either the Read or the Write message. Return value specifications of an observer are given in the interpretations clauses of the updates that can affect it.