Searching for proof