Kripke's a posteriori necessity shows that identity statements like 'pain = C-fiber firing' are nece...