Write a generic negation for Exercise 2.88