Shelley and Guy proofs

September 3rd, 2025