On the Aristotelian deductive reconstruction, the generalization ∀x(P(x) ⊃ Q(x)) must be established...