**MW:** Recap: we showed that PA^{T} implies Φ_{T}, where Φ_{T} is the set of all formulas

Now we have to show the converse, that PA+Φ_{T} implies PA^{T}. But first let’s wave our hands, hopefully shaking off some intuition, like a dog shaking off water.