Where does the additional unqualified disjunctive consideration appear?

Further Conditional Divisions, Quantification and Conditional Quantifiers