   Given a revision rule δD,M, we can generalize the notion of a revision sequence, which is now a sequence of hypothetical extensions of G rather than T. We can generalize the notion of a sentence B being stably true, nearly stably true, etc., relative to a revision sequence.  Gupta and Belnap introduce the systems S* and S#, analogous to T* and T#, as  follows:[10] 