"To test whether a function is unate or not it is sufficient to use the definition," . . . .