Syntax and mirror