KW-Jenn proofs

January 20th, 2025