That's a hypothesis of a counterexample, though, not a fact of a counterexample.