FinisSpellmanProofs