Update formalism.tex