let
neg p x = not (p x)