Read First: State The tuples of a state are the ones that "justify" an object being in that state. For example, For example, a tuple for Joe's state of Marriage might be (Joe, Mary), an instance of Marriage. These tuples must conform to the state rule of the state.