let neg p x = not (p x)