Conceivability, Possibility, and Counterexamples