Binathi Vuppuluri Proofs