Tekstiviesti: Applied logic: