Kripke's a posteriori necessities (e.g., water=H2O) constitute genuine metaphysical reductions witho...