Jakob Gruntfest Proofs