Nicolette proofs