๐ Definite Description ยง = a ๐ข Property Description, which is sufficient to identify an object in a given domain