 Those who think that grounding is strongly unified often appeal to its formal properties (but for a different approach, see Trogdon 2018a). These properties may be debated, but if grounding is strongly unified, then one could hold that for a relation to count as grounding, it should at least fit these properties. Relevant formal properties include the following: grounding is a strict partial order, non-monotonic in the sense that we cannot add arbitrary grounds and expect that grounding still holds (i.e., if A is grounded in B, then it does not follow that A is grounded in B and C), and it is thought that grounds metaphysically necessitate what they ground (although see Leuenberger 2014; Skiles 2015 against necessitation). In contrast, Bennett’s building relations (see  note 10)  do not share all their formal properties. She holds that they’re all antisymmetric and irreflexive, but not necessarily transitive (Bennett 2017: 46). Another example of this type of “multi-dimensional” approach to fundamentality can be found in Koslicki’s (2012, 2015, 2016)  work.[11]