Stav dette: Syntactic derivations