Kripke's a posteriori necessities demonstrate that necessity in natural laws is metaphysically groun...