 Dasgupta says that if there are no individuals, then the fundamental facts are all general facts, like \(\exists xFx\), \(\exists x\exists yGxy\), and the like (see also Dasgupta 2016). But what do the variables range over in those sentences? Individuals? Objects? To bypass such questions, we must construct a language that doesn’t quantify over objects. Dasgupta uses a version of predicate functorese, which replaces individuals with predicates and a defined adicity. So instead of “x is round”, “something is round”, or “something loves someone”, we have “Round1 obtains”, “cRound1 obtains”, and “ccLoves2 obtains”. In systematically doing this for all sentences, we can do away with all reference to objects, replacing them with general states of affairs. And since individuals are physically redundant and empirically undetectable, this is a good thing.