In May, Losada and Laura wrote a paper^{ a } pointing out the equivalence between two conditions on a set of “elementary histories” (i.e. fine-grained histories^{ b }). Let the elementary histories be defined by projective decompositions of the identity at time steps (), so that

(1)

where are the class operators. Then Losada and Laura showed that the following two conditions are equivalent

- The set is consistent