Nicole proofs