Abriel Proofs