This paper is about avoiding commitment to an ontology of possible worlds with two primitives: a hyperintensional connective like ‘in virtue of’, and primitive quantification into predicate position. I argue that these tools (which some believe can be independently motivated) render dispensable the ontology of possible worlds needed by traditional anaylses of modality. They also shed new light on the notion of truth-at-a-world.