Kripke's Millianism itself acknowledges that empty names like 'Sherlock Holmes' function as rigid de...