 Second, the thesis that the expression ‘casex’ in the (GTT) can be made more precise in at least two, equally acceptable, ways, resulting in different extensions for ‘valid’. For example, by ‘case’ we might mean a first-order interpretation of the kind Tarski uses to define classical first-order consequence (Tarski 1983) or alternatively we might mean a possible situation. Other alternatives include inconsistent or incomplete interpretations, of the sort used in the model theories for intuitionistic and paraconsistent logics. Different choices for the interpretation of ‘case’ will result in a different precisifications of the (GTT) analysis of logical consequence, which may in turn result in different relations of logical consequence (Beall &amp; Restall 2006, 29–31). Call this view ‘Case-based Logical Pluralism.’