The theory of definite descriptions is a device for eliminating singular terms, whereas function sym...