Comment by layer8

I’m pretty sure “counterexample” is the wrong word here.