Tekstiviesti: Logic and arithmetic :