Proper names are rigid designators.

It really is a nice theory. The only defect I think it has is probably common to all philosophical theories. It's wrong.

For a sensation to be felt as pain is for it to be pain.

Any necessary truth, whether a priori or a posteriori, could not have turned out otherwise.