 But why should we interpret ‘true’ as TRUE(SAT)? Because truth is truth in an intended model and, Putnam argues, amongst all the models of \(T\) that make all its theses come out true there is guaranteed to be at least one that passes all conceivable constraints we can reasonably impose on a model in order for it to be an intended model of \(T\). 