A note on iterating strongly $(<\lambda )$-closed stationary ${\lambda }^{+}$-cc forcing

We give an exposition of an iteration theorem for iterating $(<\lambda )$-closed stationary ${\lambda }^{+}$-cc forcing with supports of size $<\lambda$ and preserving these two properties. We discuss the relation of this theorem with other iteration theorems and forcing axioms that have appeared in the literature, notably the one from \cite{Sh80}.