 Case-based pluralists do not need to hold that every conceivable precisification of the GTT defines a relation of logical consequence. Typically, they think that only relations with certain properties—e.g., necessity, normativity and formality—are admissible (Beall &amp; Restall 2006, 26–35). Hence having its extension given by a precisification of the GTT is only a necessary condition on being a genuine relation of logical consequence.