Spec Example 7.21. Single Pair Implicit Entries
