Conceivability, Possibility, and Counterexamples (The Reasoner, 2007)