Text this: Logic design theory