Stav dette: Contemporary logic design