 One possible reaction to this situation is to regiment ‘is perfectly natural’, ‘is more natural than’, etc. not as ordinary predicates—expressions that combine with names or ordinary variables to form sentences—but as higher-order predicates: expressions that combine directly with ordinary predicates to form sentences, just as ordinary predicates combine with names and pronouns. In such a regimentation, we can form well-formed formulae like   \[x = y \land \text{AsTallAs}(x,y) \land \text{MoreNatural}(=, \text{AsTallAs}) \]   where the symbols ‘=’ and ‘AsTallAs’ occur without equivocation both as predicates taking the variables ‘\(x\)’ and ‘\(y\)’ as arguments, and as the arguments of the higher-order predicate ‘MoreNatural’. In neither case are they understood as names for properties, or as names at all. And in neither case is there anything like quotation going on: \(`\text{MoreNatural}(=, \text{AsTallAs})\rsquo\) is no more about the expressions ‘=’ and ‘AsTallAs’ than ‘Every man is mortal’ is about the expressions ‘man’ and ‘is mortal’.