Raven (proofs)