Kripke's framework for rigid designation does not entail that a designator refers in worlds where it...