Spec Example 2.4. Sequence of Mappings
