  If this is how expressions are generated, how then are we to account for the truth of (9) and (10)? More generally, the worry is this: (DQR) needs to specify, in some manner or other, the domain of expressions over which it quantifies. How can it do this without unreasonably limiting the kinds of symbols that can be  quoted?[11]  (See Lepore (1999) for elaboration on this point.)