Saying that the counterexample is a posteriori obvious is not saying that the conjecture is a priori obviously false.