"counterexample"@en-us . .