Proofs and a bunch of other LaTeX stuff