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