 Thus sequents of \(\alpha\) are its immediate successors. If \(\alpha\) has a maximum, the sequents are the immediate successors of the maximum; but if \(\alpha\) has no maximum, there will be no one term of \(\alpha\) which is immediately succeeded by a sequent of \(\alpha\); in this case, if \(\alpha\) has a single sequent, the sequent is the “upper limit” of \(\alpha\). (PM Vol. II, “Summary of ∗205”, 1912: 577 or 1927: 559)