This confusion, however, is harmless, for it is completely resolvable by context: Individual constants occurring to the immediate left or right of a triple bar denote themselves, autonymously; in all other contexts, they denote their usual denotations.