Kripke Names Necessity and Identity by Hughes & Christopher