Tekstiviesti: From types to theory :