Working Memory Capacity and the Nature of Generated Counterexamples.