Tekstiviesti: The language of logic: