KW-Angel proofs