"Linguistically, 'define A = A' indicates that A is a terminal..." . . . .