Kripke's distinction between epistemic and metaphysical necessity shows that conceivability gaps do ...