In this case, the implicit argument of else acts like a bound variable and what is obviated varies according to the quantifier to which it is bound: (10) a.
we should seek some other view on the exceptions.