p <-> not p