(5) Kripke - Naming and Necessity Lecture II.pdf