KW-Kim proofs

February 25th, 2025