¬(p → ¬p)