clean up math/proofs.tex
language/tex/wz_trajectory