Kripke's necessary a posteriori truths demonstrate that necessary connections between kinds are disc...