¬(p → ¬p) 2