There are no counterexamples.