The Mill-Frege Theory of Proper Names