I would agree that such identities are logically true; but those are not the identities I mean to deny, since I claim that our ordinary experience names 'pain' and the like are contingent names of states.