 or, in intensional extensions of first order logic, to express the difference between De Dicto and De Re readings (e.g., “It is possible for every person to be crazy” may be understood either as stating that it for every person \(p\), it is possible for \(p\) to be crazy, \(\forall x (\person (x) \rightarrow \Diamond \crazy (x))\), or as stating that it is possible that everyone is crazy together, \(\Diamond \forall x (\person (x) \rightarrow \crazy (x))\)).