>>478 submits new ways of proving theorems to all the major academic journals, no matter how obscure or unintelligible they are. His most notable submission was "Representations of non-Abelian Lie groups in N-dimensional pepperoni space".