In classical propositional logic, the axiom schema known as Peirce's Law is $((P \implies Q) \implies P) \implies P$. If we add Peirce's Law to Intuitionistic Propositional Logic (IPL), we obtain classical propositional logic. Which of the following formulas, if added to IPL, would ALSO be sufficient to yield classical propositional logic?