Kripke's essentialist framework grounds natural kind membership in underlying microstructure (e.g., ...