den förra innehåller formlära , den senare syntax.