My research generally focuses on the metaphysics of intensional entities: properties, relations, states of affairs, and other things of that ilk. In a recent paper I develop an alternative (which I call ‘Ordinal Type Theory’) to the Simple Theory of Types that is commonly used in the context of higher-order metaphysics. I build on this in my forthcoming ‘Towards an Ontology of Roles and States’, in which I propose a conception of relations as sets of role sequences. The tentative upshot is an ontology in which there are no ‘complex’ entities other than states of affairs and roles:.