Refined Syntax