Manuscript I-B@1 · I-B-v1.tex · section · 5357688f
Consumption, nonreturn, and the surviving record
What destructive clock reading does and does not do › Consumption, nonreturn, and the surviving record · lines 840–845
Record compatibility and residual compatibility are therefore different assertions, as emphasized in I, VIII-A, and En09-A CheungI,CheungVIIIA,CheungEn09.