Spec Example 2.6. Mapping of Mappings