Spec Example 7.21. Single Pair Implicit Entries [1.3
