Manuscript I@2 · I.tex · section · 85631fa7
D3: finite experiments, resource ledgers, and cutoffs
After Enter: records, instruments, decoders, and cutoffs › D3: finite experiments, resource ledgers, and cutoffs · lines 2456–2459
No cutoff estimate is a premise of the characterization theorem.