Stav dette: Formal ethics