Manuscript Em01-E@2 · Em01-E-v2.tex · section · 54f8f8c2
Reference-dependent support
References, profiles, and authorized extensions › Reference-dependent support · lines 2256–2261
Support only in requires a complete reference throughout , or a direct support proof. A reference for a supported sub-sum is not a reference for the full retained sum.