A method adapted from
that used by A. J. Ostaszewski is used to construct S-spaces as subspaces of given
spaces. Assuming the set-theoretic principle ◇, it is shown that every countably
compact space containing no nontrivial convergent sequences contains a perfect
S-space. As a corollary, assuming ◇, if X is a countably compact F-space, then X
contains a hereditarily extremally disconnected, hereditarily normal, perfect
S-space.