Syntax on SM7