Work on formalism