 The form on the right, within a language devoid of the operator #, is completely innocent of any commitment to numbers as objects. If such a language is extended, however, by adding # to its stock of logical expressions, then one is thereby able to express the form on the left, which is number-committal. 