Manuscript Hawk04-C@1 · Hawk04-C-v1.tex · section · 94d46352
Quantitative certificates and the additional endpoint obligations
Quantitative certificates and the additional endpoint obligations · lines 1609–1614
This section is conditional and is not needed for the exact six-row certificate. Its sole non-elementary recovery input is explicitly identified.