Describir: Logic design theory