Leslie O proofs

September 28th, 2023