Many significant problems in metaphysics are tied to ontological questions, but ontology and its relation to larger questions in metaphysics give rise to a series of puzzles that suggest that we don't fully understand what ontology is supposed to do, nor what ambitions metaphysics can have for finding out about what reality is like. Thomas Hofweber aims to solve these puzzles about ontology and consequently to make progress on four central metaphysical problems: the philosophy of arithmetic, the metaphysics of ordinary objects, the problem of universals, and the question of whether the reality is independent of us. Crucial parts of the proposed solution involve considerations about quantification and its relationship to ontology, the place of reference in natural languages, the possibility of ineffable facts, the extent of empirical evidence in metaphysics, and whether metaphysics can be properly esoteric. Overall, Hofweber defends a rationalist account of arithmetic, an empiricist picture in the philosophy of ordinary objects, a restricted form of nominalism, and realism about reality, understood as all there is, but idealism about reality, understood as all that is the case. He defends metaphysics as having some questions of fact that are distinctly its own, with a limited form of autonomy from other parts of inquiry, but rejects several metaphysical projects and approaches as being based on a mistake.