Syntax.OneHoleContext: wording