. "(1) A is an x such that there???s some term N referring to x, such that ???N=A??? is meaningful and true." . . .