Tekstiviesti: Formalizing natural languages :