Searching For Proof