Stav dette: The Price of Formal Freedom