Changed denotation to get proper scoping.