CRS: The functional role of an expression determines its meaning.
Josep Macia 2005
Result from Boolos shows that 1st order logical inferential role not sufficient for fixing the meaning of 1st order quantifiers and logical connectives; imposes no constraints on the interpretation of predicate expressions.
wide version of CRS immune to objection.