KW-ANGELA proofs

October 15th, 2025