  Assuming the existence of a Mahlo cardinal, we construct a model in which
there exists an $\omega_2$-Aronszajn tree, the $\omega_1$-approachability
property fails, and every stationary subset of $\omega_2 \cap
\mathrm{cof}(\omega)$ reflects.
