Formalize language.