Kripkean essentialism establishes that modal truths about kinds are grounded in the intrinsic proper...