Pošljite SMS: Logic design theory