 Davies and Humberstone also suggest that the 2D modal operator ‘Actually’ might help analyze certain referring expressions in natural language. In particular, they focus on Evans’ (1982) notion of a ‘descriptive name’ (a name whose reference is fixed by a description) and on natural kind terms. Suppose the following definitions capture the semantic rules governing the relevant expressions in natural language: