Formalism

in progress