Work on formalism chapter