Karen proofs2