  In Example 3.4, the intuitive verdict is that not only should each An receive a stable truth value of t, but so should the sentence B = ∀x(Gx ⊃ Tx). The only way to ensure this is to carry the revision process beyond the finite stages. So we will consider revision sequences that are very long: not only will a revision sequence have a nth stage for each finite number n, but a ηth stage for every ordinal number η. (The next paragraph is to help the reader unfamiliar with ordinal numbers.)