The universal generalization ∀x(P(x) ⊃ Q(x)) presupposes a closed, uniform ontology that Nelson Good...