SMS: Logic design theory