Update TAS-notes1.tex