p'\neq p.