Spec Example 9.4. Explicit Documents
