Main Search 18 With Proof