Thus the existence of an infinite branch does not necessarily imply a nonterminating computation.

The inner ring, core, provides a nonterminating supply of energy produced by a Möbius strip generator.

So if an output set of is infinite, it must contain [a nonterminating computation].

Such a sequence cannot have a limit, because any limit would represent a completed nonterminating computation in which an event is still pending.