I don't think we should mention contexts at this point. This concept is not introduced until later in the specification. I think this language belongs in scopescontexts...