Update substitutionRule1.tex