A few additional examples in the spec.