Stav dette: Functional semantics