   At the 0th stage, each An is outside the hypothesized extension of T. But from the nth stage onwards, An is in the hypothesized extension of T. So, for each n, the sentence An is eventually stably hypothesized to be true.  Despite this, there is no finite stage at which all the An's are hypothesized to be true: as a result the sentence B =   ∀x(Gx ⊃  Tx)  remains false at each finite stage. This suggests extending the process as follows: 