Kripkean a posteriori necessities suggest that identity statements like 'pain = C-fiber firing' are,...