Syntax; more checks