Conceivability, Possibility, and Counterexamples. tr 2007, 1 (4).