If counterexamples can succeed by semantic transparency rather than structural analysis, the demarca...