Stav dette: Logic design theory