(P -> Q) -> P