 This example may seem far-fetched from the point of view of motivation, but the dialectical upshot is clear—if the ¬ rules are objectionable in being stronger than needed for unique characterization, the same holds for the intuitionistic ∧ rules; in any case there are in fact variations on this theme is that have been seriously proposed as weakenings of classical (or intuitionistic) logic in the construction of quantum (or ortho-) logic, in which the rule (∨E) is subjected to restrictions blocking arbitrary sets of side-formulas—the Δ and θ of our formulation of this rule in Section  2—exactly  as with the ∧ rules inset above (which would be fully general in the respect at issue if our chosen framework were what would naturally be called Fmla-Fmla, a framework occasionally used for logical  investigations).[25]  One could explore the idea of a requirement that all rules should be maximally general in respect of side formulas, to resist such pressures to weaken the intuitionistic rules, though what this amounts to depends on the logical framework, and it may be hard to hold the line without succumbing to a similar pull in the direction of generality which would take us over from Set-Fmla to Set-Set.