The theory of definite descriptions is essential for justifying the introduction of function symbols...