Ken Ross proofs

July 22nd, 2025