Why would it not be able to find reductions now, but be able to find them just by being told that P=NP is definitely true?