Ana Gibson Proofs