Main Search Proof That