  A property need not hold of the corresponding definite description, that is,  \([\lambda x\,\phi (x)](\atoi x\phi (x))\)  need not be valid. This is simply because the definite description might not designate. However, if it does designate, it must have its defining property. Indeed, we have the validity of the following: