Definite descriptions

Summary