If {a,b} exists prior to this quantification, the quantifier presupposes the totality it purports to...
This proposition has not been edited since the history system was added.