Main Search Proofs