Predicates have attributes as their “intensions” or meanings (or would if there were attributes), and they have sets as their extensions; but they are names of neither. Variables eligible for quantification therefore do not belong in predicate positions. (Quine 1970: 67)