Stav dette: On formalism and its kinds /