let neg2 p x y = not (p x y)