Spec Example 2.11. Mapping between Sequences
