Prior demonstrated that ∃x(P(x)) ∧ ∃x(Q(x)) syntactically suggests a single domain of x, misleading ...
This proposition has not been edited since the history system was added.