more updates to t3.tex