Manuscript Hawk04-C@1 · Hawk04-C-v1.tex · section · 94d46352
Four same-model endpoint obligations
Quantitative certificates and the additional endpoint obligations › Four same-model endpoint obligations · lines 1709–1716
An endpoint claim requires more than the termination of a finite tree.
The following explicit package follows the distinction in En07-C,
with En07-B as its companion comparison
CheungEn07C (Definition def:four)
CheungEn07B.