Manuscript Oai280-C@1 · Oai280-C.tex · section · 7d44b8c0
Two mandatory task separations
Tasks, references, and claim contracts › Two mandatory task separations · lines 320–326
These are the locally proved hard gates corresponding to the classical-record and effect-target separations described in the supplied Cheung source notes CheungIEn06A,CheungOai290A,CheungXVIIA.