pseudo-counterexamples