Manuscript En08-A@1 · En08-A.tex · section · c688d76d
Finite histories
Legal schedules and a local record model › Finite histories · lines 496–500
Equality of isolated marginals is insufficient: the diamond must preserve the joint information used by the remaining computation.