Lance Fortnow said this quote

“ Suppose whatever we can recognize we can find. We can if P=NP. ”