 Following Schaffer (2009), one can draw a distinction between two types of metaphysics in terms of their alleged subject matter. Quinean metaphysics deals with existence questions. It asks: What exists? What is part of the ontology of a given theory, such as physics? In contrast, (Neo-)Aristotelian metaphysics is permissive regarding existence. It is mainly concerned to identify what is fundamental and what depends on the fundamental. In Schaffer’s terms, it is concerned with “what grounds what” (Schaffer 2009). Examples of dependence claims the Neo-Aristotelian is concerned with include: