Consistent imaginability is an insufficient criterion for logical possibility, as Kripke demonstrate...