Formal Language (FORMAL)