Tekstiviesti: Logic and arithmetic.