Spec Example 6.3. Separation Spaces
