add negation and exercise 2.88 done