Vicki proofs