 Definite descriptions are expressions of the form “the \(\phi\)” which occur in the position of terms apparently as the arguments of functions. Russell’s example from “On Denoting” (1905) is the expression “The present King of France” which apparently occurs as an argument to the function “is bald” in the sentence “The present King of France is bald”. In general the expression “the \(\phi\) is \(\psi\)” is defined as equivalent to the expression “There is exactly one \(\phi\) and it is \(\psi\)”: