Main Search Tia Proofs