Takes a fn f and returns a fn that takes the same arguments as f, has the same effects, if any, and returns the opposite truth value.