What makes this departure more serious than it sounds is that the constants and variables occurring in a sentence do not, without special provision, recur in the name of the corresponding propo sition.