 One attraction of conceiving truth-making as based on grounding, aside from the more general methodological virtues of theoretical unification mentioned above, arises from taking grounding to be “hyperintensional” nature. Grounding is intended to be a notion that’s fine-grained enough to distinguish those entities, e.g., the cardinal numbers, that ground a necessary truth, such as 2+2=4, from those that don’t, e.g. a contingent existent such as the aforementioned ice floe. Because grounding is so fine-grained neither Grounding-Predicate-T or Grounding-Operator-T will give rise to the over-generation that beset Entailment-T and Necessitation-T but without having to appeal, like Projection-T, to an underdeveloped notion of “about ” or “relevance”. 