Conceivability does not entail metaphysical possibility, as Kripke's work on necessary a posteriori ...