TARA PROOFS