Tekstiviesti: Logic design theory