... the following argument: P. Therefore Q.
What ... ? Well, assuming (P → Q) would make it valid. But ... assuming (P → (P → Q)). And so would assuming (P ... → (P → (P → Q))). And so would assuming (P ... or ~R) → Q, ((R or ~R) → Q) → Q, and so on. You ...