Claire proofs