Olivarez proofs