Add more comments to Poly.tex