Stav dette: Formalism