Update logic-formalism.tex