Spec Example 7.4. Double Quoted Implicit Keys
