lecture 7, Exercise "not"