"As S is a function, one variable can only be bound to one term. Otherwise its" . . . .