¬ 2 p : toi-