. "Thus, by definition, X is a function or rule." . . . . . .