   The main formal notions of the RTT are the notion of a revision rule (Definition 3.2), i.e., a rule for revising hypotheses; and a revision sequence (Definition 3.7), a sequence of hypotheses generated in accordance with the appropriate revision rule. Using these notions, we can, given a ground model, specify when a sentence is stably, or nearly stably, true or false in a particular revision sequence. Thus we could define two theories of truth, T* and T#, based on stability and near stability.  The final idea is that each of these theories delivers a verdict on which sentences of the language are categorically assertible, given a ground model. 