Jill-kw proofs