\lnot P(x)