... />
>
> This is a necessary assumption because if ... we have, as you said, allowed for the mere _possibility_ that ... where a negated necessary assumption is allowed to fall within it. ... → weaken**], but the reverse is not necessarily true, and I ...