 According to the standard definition of partial grounding, \([P],\) \([P'],\) … partially grounds \([Q]\) just in case \([P],\) \([P'],\) … either on its own or together with other facts fully grounds \([Q]\) (Audi 2012a; Litland 2015; Loss 2017; Raven 2013; Rosen 2010; Skiles 2015). You might initially view this definition as being a purely stipulative matter. But it’s actually substantive in nature, as we have a pre-theoretic grip on both partial and full grounding. In fact, Leuenberger (2020) and Trogdon &amp; Witmer (2021) argue that the standard definition is false, proposing cases in which mere partial grounds can’t be supplemented with further facts to yield full grounds. The latter recommend reversing the direction of the standard definition, proposing a definition of full grounding in terms of partial grounding together with other notions.