move ctx to Syntax