~ p : 2.