edited main body1.tex