Update TSA-notes.tex