Immanuel and the Pen of Proof Summoning