Modify NameResolution.tex