Alan Dow proved PFA(S)[S] implies every first countable perfect preimage of $\omega_1$ includes a copy of $\omega_1$. This plus a variation of P-ideal Dichotomy were the last things needed to prove PFA(S)[S] implies hereditarily normal manifolds of dim > 1 are metrizable. In conjunction with other consequences of PFA(S)[S], Dow's work enables me to prove various new consistency results for sequentially compact spaces. I will talk about these today and also try to give some intuition behind his proof. The details will be given at some later date.