It's funny how similar this is to a human reaction to the same thing. It's the right level of incredulity, to be sure, and the first thing you do is you start re-reading the conjecture to makes sure you didn't misunderstand the requirements.