Gabriel Proofs