Shivani Proofs