 Stationary diamond principle

For a stationary $S\subseteq {\omega }_1$, a sequence $D_{\alpha }\subseteq \alpha$ indexed by $S$ guesses every $X\subseteq {\omega }_1$ on a stationary subset of $S$.