Formal grammar.