Irene Ferrer Proofs