Update thoughts.tex