Horwich's minimalism about truth preserves the T-schema while conceding that 'obtains' and 'is true'...