Babak - Proofs