"If C is a computer, then C(x) = y denotes that" . . . .