Manuscript XIV-F@1 · XIV-F.tex · section · bae5a40b
The exact F2 verdict
The exact F2 verdict · lines 1435–1442
No class of all characteristic prescriptions has been proved incompatible. The legal ending for the grouped target is therefore Unresolved, not Proved obstructed.