Proofs β