Manuscript II-B@1 · II-B-v1.tex · section · bfd2eb3c
The clock instrument
Finite names and the destructive clock › The clock instrument · lines 1338–1343
No normalized state is assigned to an outcome of probability zero. This complete instrument is the finite extraction interface discussed in En09-A CheungEn09.