Kripke's argument against Smart-style theories

In Kripke's Naming and Necessity, at the link. The argument begins on the middle of p. 148 and goes to the middle of p. 152.

https://drive.google.com/open?id=1wzlzWXf7xJX51vfAvjX21izw6Gs7cAj3