When Andrew Wiles set out to prove Fermat's Last Theorem, the assumption was that it was true -- that there were no integer solutions for a^n + b^n = c^n with n > 2. The reason for the assumption? Occam's razor. And that assumption, like this one, didn't go anywhere to deciding whether it was true or not. It just seemed likely.