Syntax refinements