Kripke's causal-historical theory holds that names are rigid designators picking out the same indivi...