Proper names are rigid designators.
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.
It really is a nice theory. The only defect I think it has is probably common to all philosophical theories. It's wrong.