Definite description theory