 For Cresswell, the meaning of a predicate like ‘runs’ is essentially its intension: a function from individuals to sets of worlds (it maps an individual to the worlds at which she  runs).[32]  Let Ir be this intension. The meaning of a name like ‘Max’ (in some cases at least) is simply its referent: o. Thus, the fine grained entity associated with (7) is the ordered pair: