P = not P