Sarah and Swahie Proofs