On the view in question, then, when our ordinary man uses the name 'Godel', he really means to refer to Schmidt, because Schmidt is the unique person satisfying the description, 'the man who discovered the incompleteness ofarithmetic'.