Cartesian intuition tracks conceivability, not metaphysical possibility, and Kripke's own work shows...