. "tion of A means that A is a solution." . . .