KW-JAKOB proofs

March 13th, 2025