updates to A4.tex