Is it really a formal mathematical investigation if it wasn't typeset in LaTeX? Hmm.