Manuscript XV-F-patch-ii@1 · XV-F-patch-ii.tex · section · 9674ac67
Q2 verdict
Patch 2: the six-entry presentation package (Q2) › Q2 verdict · lines 1073–1078
By the stop rule, the F0 verdict is fixed here (Theorem thm:verdict). Patches 3 and 4 and the domain list are executed for the record.