 As for the regimentations themselves, two general frameworks have emerged: predicationists formulate grounding claims with a relational predicate, one corresponding to the English predicate grounds (Audi 2012a; Schaffer 2009; Rosen 2010). Connectivists use a non-truth-functional sentential connective instead, one corresponding to the English operator because (Fine 2012a; Correia 2010; Schneider 2011). Full blown connective regimentations will include a logic of grounding, which on Fine’s (2012a, 2012b) development includes structural rules and properties (e.g., transitivity) and logical rules including introduction and elimination rules. (See Poggiolesi 2020 for a general discussion of the logic of grounding.) Note that each of these approaches to regimentation is compatible with both separatism and unionism (Kovacs 2018: note 28). For further context, note that there is corresponding discussion regarding the proper formulation of truthmaking claims (Melia 2005).