 There are the usual alethic modalities □ and ◊ of necessity and possibility (as interpreted by S5, of course), and the actuality operator A. The relation xF of encoding can hold between an abstract object x and a property F. 