Stanley and Szabo's debate over quantifier domain restriction shows that even logically complete sen...