Manuscript Oai290-A@1 · Oai290-A.tex · section · 7c6e104a
Exact full-code recovery and its obstructions
Exact full-code recovery and its obstructions · lines 458–462
The corollary concerns the chosen full code and access interface. It does not say that every named observable has been lost.