((P⇒Q)⇒P)⇒¬¬P