P⇒((P⇒Q)⇒Q)