User blog comment:Alejandro Magno/SPECIAL! FGH of Hyperion Notation/@comment-5982810-20140926214442/@comment-5982810-20140926215258

Slight correction:

w and 1+w are not distinct ordinals, but w[n] and 1+w[n] are distinct sequences.