If Qc holds, then c must be in the domain of discourse; if c is in the domain, the count of Q-things...
This proposition has not been edited since the history system was added.