Guessing with Mutually Stationary Sets We use the mutually stationary sets of Foreman and Magidor as a tool to establish the validity of the two-cardinal version of the diamond principle in some special cases. Keywords:$P_\kappa(\lambda)$, diamond principleCategory:03E05