Spec Example 6.12. Separation Spaces
