Kripke's modal semantics shows that identity statements like 'pain = C-fiber firing' are rigid desig...