Olivia proofs