Syntax refinement. We're getting somewhere now