Spec Example 6.26. Tag Shorthands