Many consequences of the Proper Forcing Axiom (PFA) factor through the stationarity of the class of guessing models. Such consequences include the Tree Property at $\omega_2$, absence of (weak) Kurepa Trees on $\omega_1$, and failure of square principles.  On the other hand, stationarity of guessing models does not decide the value of the continuum, even when one requires that the guessing models are also indestructible in some sense.  I will give an introduction to the topic and discuss some recent results due to John Krueger and me.