Syntactic theories