Updates to what.tex