KW-LINDSEY proofs

June 9th, 2023