"SH plus CH does not imply stationary antichains."

Chaz Schlindwein (2003)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics