Kripke's framework distinguishes genuine essential properties from mere logical rigidification of ac...