Read First: State Gives the states of an object, either partial or complete. The cardinality on the State end has a maximum Many, because an object can have many partial states. Since a tuples can span many objects, we make a state be the state of many objects. The current model, with cardinality of exactly one on the object side, was chosen for simplicity. It is assumed that a state of many objects can be modelled as the state of one "aggregate" object.