Spec Example 2.26. Ordered Mappings
