John Baez started counting.

"0, 1, 2, 3, ... ".

After a long while, he noticed that the stars had all gone out, and even the black holes were dissipating. He went on counting.

"46893857378768993700351045289846783784571, 46893857378768993700351045289846783784572, 46893857378768993700351045289846783784573, ... ".

After much more time, he noticed he had run out of natural numbers and that the universe was over and done with. Interesting, he thought. I never thought I would live this long. He went on counting.

"ω, ω + 1, ω + 2, ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω + ω.

"ω2, ω2 + 1, ω2 + 2, ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω2 + ω.

"ω3, ω3 + 1, ω3 + 2, ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω2.

"ω2, ω2 + 1, ω2 + 2, ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω2 + ω.

"ω2 + ω, ω2 + ω + 1, ω2 + ω + 2, ω2 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω2 + ω + ω.

"ω2 + ω2, ω2 + ω2 + 1, ω2 + ω2 + 2, ω2 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω2 + ω2 + ω.

"ω2 + ω3, ω2 + ω3 + 1, ω2 + ω3 + 2, ω2 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω2 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω2 + ω2.

"ω22, ω22 + 1, ω22 + 2, ω22 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω22 + ω.

"ω22 + ω, ω22 + ω + 1, ω22 + ω + 2, ω22 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω22 + ω + ω.

"ω22 + ω2, ω22 + ω2 + 1, ω22 + ω2 + 2, ω22 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω22 + ω2 + ω.

"ω22 + ω3, ω22 + ω3 + 1, ω22 + ω3 + 2, ω22 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω22 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω22 + ω2.

"ω23, ω23 + 1, ω23 + 2, ω23 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω23 + ω.

"ω23 + ω, ω23 + ω + 1, ω23 + ω + 2, ω23 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω23 + ω + ω.

"ω23 + ω2, ω23 + ω2 + 1, ω23 + ω2 + 2, ω23 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω23 + ω2 + ω.

"ω23 + ω3, ω23 + ω3 + 1, ω23 + ω3 + 2, ω23 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω23 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω23 + ω2.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω3.

"ω3, ω3 + 1, ω3 + 2, ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω3 + ω.

"ω3 + ω, ω3 + ω + 1, ω3 + ω + 2, ω3 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω3 + ω + ω.

"ω3 + ω2, ω3 + ω2 + 1, ω3 + ω2 + 2, ω3 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω3 + ω2 + ω.

"ω3 + ω3, ω3 + ω3 + 1, ω3 + ω3 + 2, ω3 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω3 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω3 + ω2.

"ω3 + ω2, ω3 + ω2 + 1, ω3 + ω2 + 2, ω3 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω3 + ω2 + ω.

"ω3 + ω2 + ω, ω3 + ω2 + ω + 1, ω3 + ω2 + ω + 2, ω3 + ω2 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω3 + ω2 + ω + ω.

"ω3 + ω2 + ω2, ω3 + ω2 + ω2 + 1, ω3 + ω2 + ω2 + 2, ω3 + ω2 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω3 + ω2 + ω2 + ω.

"ω3 + ω2 + ω3, ω3 + ω2 + ω3 + 1, ω3 + ω2 + ω3 + 2, ω3 + ω2 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω3 + ω2 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω3 + ω2 + ω2.

"ω3 + ω22, ω3 + ω22 + 1, ω3 + ω22 + 2, ω3 + ω22 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω3 + ω22 + ω.

"ω3 + ω22 + ω, ω3 + ω22 + ω + 1, ω3 + ω22 + ω + 2, ω3 + ω22 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω3 + ω22 + ω + ω.

"ω3 + ω22 + ω2, ω3 + ω22 + ω2 + 1, ω3 + ω22 + ω2 + 2, ω3 + ω22 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω3 + ω22 + ω2 + ω.

"ω3 + ω22 + ω3, ω3 + ω22 + ω3 + 1, ω3 + ω22 + ω3 + 2, ω3 + ω22 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω3 + ω22 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω3 + ω22 + ω2.

"ω3 + ω23, ω3 + ω23 + 1, ω3 + ω23 + 2, ω3 + ω23 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω3 + ω23 + ω.

"ω3 + ω23 + ω, ω3 + ω23 + ω + 1, ω3 + ω23 + ω + 2, ω3 + ω23 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω3 + ω23 + ω + ω.

"ω3 + ω23 + ω2, ω3 + ω23 + ω2 + 1, ω3 + ω23 + ω2 + 2, ω3 + ω23 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω3 + ω23 + ω2 + ω.

"ω3 + ω23 + ω3, ω3 + ω23 + ω3 + 1, ω3 + ω23 + ω3 + 2, ω3 + ω23 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω3 + ω23 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω3 + ω23 + ω2.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω3 + ω3.

"ω32, ω32 + 1, ω32 + 2, ω32 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω32 + ω.

"ω32 + ω, ω32 + ω + 1, ω32 + ω + 2, ω32 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω32 + ω + ω.

"ω32 + ω2, ω32 + ω2 + 1, ω32 + ω2 + 2, ω32 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω32 + ω2 + ω.

"ω32 + ω3, ω32 + ω3 + 1, ω32 + ω3 + 2, ω32 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω32 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω32 + ω2.

"ω32 + ω2, ω32 + ω2 + 1, ω32 + ω2 + 2, ω32 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω32 + ω2 + ω.

"ω32 + ω2 + ω, ω32 + ω2 + ω + 1, ω32 + ω2 + ω + 2, ω32 + ω2 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω32 + ω2 + ω + ω.

"ω32 + ω2 + ω2, ω32 + ω2 + ω2 + 1, ω32 + ω2 + ω2 + 2, ω32 + ω2 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω32 + ω2 + ω2 + ω.

"ω32 + ω2 + ω3, ω32 + ω2 + ω3 + 1, ω32 + ω2 + ω3 + 2, ω32 + ω2 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω32 + ω2 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω32 + ω2 + ω2.

"ω32 + ω22, ω32 + ω22 + 1, ω32 + ω22 + 2, ω32 + ω22 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω32 + ω22 + ω.

"ω32 + ω22 + ω, ω32 + ω22 + ω + 1, ω32 + ω22 + ω + 2, ω32 + ω22 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω32 + ω22 + ω + ω.

"ω32 + ω22 + ω2, ω32 + ω22 + ω2 + 1, ω32 + ω22 + ω2 + 2, ω32 + ω22 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω32 + ω22 + ω2 + ω.

"ω32 + ω22 + ω3, ω32 + ω22 + ω3 + 1, ω32 + ω22 + ω3 + 2, ω32 + ω22 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω32 + ω22 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω32 + ω22 + ω2.

"ω32 + ω23, ω32 + ω23 + 1, ω32 + ω23 + 2, ω32 + ω23 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω32 + ω23 + ω.

"ω32 + ω23 + ω, ω32 + ω23 + ω + 1, ω32 + ω23 + ω + 2, ω32 + ω23 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω32 + ω23 + ω + ω.

"ω32 + ω23 + ω2, ω32 + ω23 + ω2 + 1, ω32 + ω23 + ω2 + 2, ω32 + ω23 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω32 + ω23 + ω2 + ω.

"ω32 + ω23 + ω3, ω32 + ω23 + ω3 + 1, ω32 + ω23 + ω3 + 2, ω32 + ω23 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω32 + ω23 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω32 + ω23 + ω2.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω32 + ω3.

"ω33, ω33 + 1, ω33 + 2, ω33 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω33 + ω.

"ω33 + ω, ω33 + ω + 1, ω33 + ω + 2, ω33 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω33 + ω + ω.

"ω33 + ω2, ω33 + ω2 + 1, ω33 + ω2 + 2, ω33 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω33 + ω2 + ω.

"ω33 + ω3, ω33 + ω3 + 1, ω33 + ω3 + 2, ω33 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω33 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω33 + ω2.

"ω33 + ω2, ω33 + ω2 + 1, ω33 + ω2 + 2, ω33 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω33 + ω2 + ω.

"ω33 + ω2 + ω, ω33 + ω2 + ω + 1, ω33 + ω2 + ω + 2, ω33 + ω2 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω33 + ω2 + ω + ω.

"ω33 + ω2 + ω2, ω33 + ω2 + ω2 + 1, ω33 + ω2 + ω2 + 2, ω33 + ω2 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω33 + ω2 + ω2 + ω.

"ω33 + ω2 + ω3, ω33 + ω2 + ω3 + 1, ω33 + ω2 + ω3 + 2, ω33 + ω2 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω33 + ω2 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω33 + ω2 + ω2.

"ω33 + ω22, ω33 + ω22 + 1, ω33 + ω22 + 2, ω33 + ω22 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω33 + ω22 + ω.

"ω33 + ω22 + ω, ω33 + ω22 + ω + 1, ω33 + ω22 + ω + 2, ω33 + ω22 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω33 + ω22 + ω + ω.

"ω33 + ω22 + ω2, ω33 + ω22 + ω2 + 1, ω33 + ω22 + ω2 + 2, ω33 + ω22 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω33 + ω22 + ω2 + ω.

"ω33 + ω22 + ω3, ω33 + ω22 + ω3 + 1, ω33 + ω22 + ω3 + 2, ω33 + ω22 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω33 + ω22 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω33 + ω22 + ω2.

"ω33 + ω23, ω33 + ω23 + 1, ω33 + ω23 + 2, ω33 + ω23 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω33 + ω23 + ω.

"ω33 + ω23 + ω, ω33 + ω23 + ω + 1, ω33 + ω23 + ω + 2, ω33 + ω23 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω33 + ω23 + ω + ω.

"ω33 + ω23 + ω2, ω33 + ω23 + ω2 + 1, ω33 + ω23 + ω2 + 2, ω33 + ω23 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω33 + ω23 + ω2 + ω.

"ω33 + ω23 + ω3, ω33 + ω23 + ω3 + 1, ω33 + ω23 + ω3 + 2, ω33 + ω23 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω33 + ω23 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω33 + ω23 + ω2.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ω33 + ω3.

...

Eventually he ran out of integers for the powers of omega. Never mind, he had all the ordinals available to count powers of omega.

"ωω, ωω + 1, ωω + 2, ωω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω.

"ωω + ω, ωω + ω + 1, ωω + ω + 2, ωω + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω + ω.

"ωω + ω2, ωω + ω2 + 1, ωω + ω2 + 2, ωω + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω2 + ω.

"ωω + ω3, ωω + ω3 + 1, ωω + ω3 + 2, ωω + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω2.

"ωω + ω2, ωω + ω2 + 1, ωω + ω2 + 2, ωω + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω2 + ω.

"ωω + ω2 + ω, ωω + ω2 + ω + 1, ωω + ω2 + ω + 2, ωω + ω2 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω2 + ω + ω.

"ωω + ω2 + ω2, ωω + ω2 + ω2 + 1, ωω + ω2 + ω2 + 2, ωω + ω2 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω2 + ω2 + ω.

"ωω + ω2 + ω3, ωω + ω2 + ω3 + 1, ωω + ω2 + ω3 + 2, ωω + ω2 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω2 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω2 + ω2.

"ωω + ω22, ωω + ω22 + 1, ωω + ω22 + 2, ωω + ω22 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω22 + ω.

"ωω + ω22 + ω, ωω + ω22 + ω + 1, ωω + ω22 + ω + 2, ωω + ω22 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω22 + ω + ω.

"ωω + ω22 + ω2, ωω + ω22 + ω2 + 1, ωω + ω22 + ω2 + 2, ωω + ω22 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω22 + ω2 + ω.

"ωω + ω22 + ω3, ωω + ω22 + ω3 + 1, ωω + ω22 + ω3 + 2, ωω + ω22 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω22 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω22 + ω2.

"ωω + ω23, ωω + ω23 + 1, ωω + ω23 + 2, ωω + ω23 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω23 + ω.

"ωω + ω23 + ω, ωω + ω23 + ω + 1, ωω + ω23 + ω + 2, ωω + ω23 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω23 + ω + ω.

"ωω + ω23 + ω2, ωω + ω23 + ω2 + 1, ωω + ω23 + ω2 + 2, ωω + ω23 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω23 + ω2 + ω.

"ωω + ω23 + ω3, ωω + ω23 + ω3 + 1, ωω + ω23 + ω3 + 2, ωω + ω23 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω23 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω23 + ω2.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω3.

"ωω + ω3, ωω + ω3 + 1, ωω + ω3 + 2, ωω + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω3 + ω.

"ωω + ω3 + ω, ωω + ω3 + ω + 1, ωω + ω3 + ω + 2, ωω + ω3 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω3 + ω + ω.

"ωω + ω3 + ω2, ωω + ω3 + ω2 + 1, ωω + ω3 + ω2 + 2, ωω + ω3 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω3 + ω2 + ω.

"ωω + ω3 + ω3, ωω + ω3 + ω3 + 1, ωω + ω3 + ω3 + 2, ωω + ω3 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω3 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω3 + ω2.

"ωω + ω3 + ω2, ωω + ω3 + ω2 + 1, ωω + ω3 + ω2 + 2, ωω + ω3 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω3 + ω2 + ω.

"ωω + ω3 + ω2 + ω, ωω + ω3 + ω2 + ω + 1, ωω + ω3 + ω2 + ω + 2, ωω + ω3 + ω2 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω3 + ω2 + ω + ω.

"ωω + ω3 + ω2 + ω2, ωω + ω3 + ω2 + ω2 + 1, ωω + ω3 + ω2 + ω2 + 2, ωω + ω3 + ω2 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω3 + ω2 + ω2 + ω.

"ωω + ω3 + ω2 + ω3, ωω + ω3 + ω2 + ω3 + 1, ωω + ω3 + ω2 + ω3 + 2, ωω + ω3 + ω2 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω3 + ω2 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω3 + ω2 + ω2.

"ωω + ω3 + ω22, ωω + ω3 + ω22 + 1, ωω + ω3 + ω22 + 2, ωω + ω3 + ω22 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω3 + ω22 + ω.

"ωω + ω3 + ω22 + ω, ωω + ω3 + ω22 + ω + 1, ωω + ω3 + ω22 + ω + 2, ωω + ω3 + ω22 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω3 + ω22 + ω + ω.

"ωω + ω3 + ω22 + ω2, ωω + ω3 + ω22 + ω2 + 1, ωω + ω3 + ω22 + ω2 + 2, ωω + ω3 + ω22 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω3 + ω22 + ω2 + ω.

"ωω + ω3 + ω22 + ω3, ωω + ω3 + ω22 + ω3 + 1, ωω + ω3 + ω22 + ω3 + 2, ωω + ω3 + ω22 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω3 + ω22 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω3 + ω22 + ω2.

"ωω + ω3 + ω23, ωω + ω3 + ω23 + 1, ωω + ω3 + ω23 + 2, ωω + ω3 + ω23 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω3 + ω23 + ω.

"ωω + ω3 + ω23 + ω, ωω + ω3 + ω23 + ω + 1, ωω + ω3 + ω23 + ω + 2, ωω + ω3 + ω23 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω3 + ω23 + ω + ω.

"ωω + ω3 + ω23 + ω2, ωω + ω3 + ω23 + ω2 + 1, ωω + ω3 + ω23 + ω2 + 2, ωω + ω3 + ω23 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω3 + ω23 + ω2 + ω.

"ωω + ω3 + ω23 + ω3, ωω + ω3 + ω23 + ω3 + 1, ωω + ω3 + ω23 + ω3 + 2, ωω + ω3 + ω23 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω3 + ω23 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω3 + ω23 + ω2.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω3 + ω3.

"ωω + ω32, ωω + ω32 + 1, ωω + ω32 + 2, ωω + ω32 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω32 + ω.

"ωω + ω32 + ω, ωω + ω32 + ω + 1, ωω + ω32 + ω + 2, ωω + ω32 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω32 + ω + ω.

"ωω + ω32 + ω2, ωω + ω32 + ω2 + 1, ωω + ω32 + ω2 + 2, ωω + ω32 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω32 + ω2 + ω.

"ωω + ω32 + ω3, ωω + ω32 + ω3 + 1, ωω + ω32 + ω3 + 2, ωω + ω32 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω32 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω32 + ω2.

"ωω + ω32 + ω2, ωω + ω32 + ω2 + 1, ωω + ω32 + ω2 + 2, ωω + ω32 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω32 + ω2 + ω.

"ωω + ω32 + ω2 + ω, ωω + ω32 + ω2 + ω + 1, ωω + ω32 + ω2 + ω + 2, ωω + ω32 + ω2 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω32 + ω2 + ω + ω.

"ωω + ω32 + ω2 + ω2, ωω + ω32 + ω2 + ω2 + 1, ωω + ω32 + ω2 + ω2 + 2, ωω + ω32 + ω2 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω32 + ω2 + ω2 + ω.

"ωω + ω32 + ω2 + ω3, ωω + ω32 + ω2 + ω3 + 1, ωω + ω32 + ω2 + ω3 + 2, ωω + ω32 + ω2 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω32 + ω2 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω32 + ω2 + ω2.

"ωω + ω32 + ω22, ωω + ω32 + ω22 + 1, ωω + ω32 + ω22 + 2, ωω + ω32 + ω22 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω32 + ω22 + ω.

"ωω + ω32 + ω22 + ω, ωω + ω32 + ω22 + ω + 1, ωω + ω32 + ω22 + ω + 2, ωω + ω32 + ω22 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω32 + ω22 + ω + ω.

"ωω + ω32 + ω22 + ω2, ωω + ω32 + ω22 + ω2 + 1, ωω + ω32 + ω22 + ω2 + 2, ωω + ω32 + ω22 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω32 + ω22 + ω2 + ω.

"ωω + ω32 + ω22 + ω3, ωω + ω32 + ω22 + ω3 + 1, ωω + ω32 + ω22 + ω3 + 2, ωω + ω32 + ω22 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω32 + ω22 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω32 + ω22 + ω2.

"ωω + ω32 + ω23, ωω + ω32 + ω23 + 1, ωω + ω32 + ω23 + 2, ωω + ω32 + ω23 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω32 + ω23 + ω.

"ωω + ω32 + ω23 + ω, ωω + ω32 + ω23 + ω + 1, ωω + ω32 + ω23 + ω + 2, ωω + ω32 + ω23 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω32 + ω23 + ω + ω.

"ωω + ω32 + ω23 + ω2, ωω + ω32 + ω23 + ω2 + 1, ωω + ω32 + ω23 + ω2 + 2, ωω + ω32 + ω23 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω32 + ω23 + ω2 + ω.

"ωω + ω32 + ω23 + ω3, ωω + ω32 + ω23 + ω3 + 1, ωω + ω32 + ω23 + ω3 + 2, ωω + ω32 + ω23 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω32 + ω23 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω32 + ω23 + ω2.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω32 + ω3.

"ωω + ω33, ωω + ω33 + 1, ωω + ω33 + 2, ωω + ω33 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω33 + ω.

"ωω + ω33 + ω, ωω + ω33 + ω + 1, ωω + ω33 + ω + 2, ωω + ω33 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω33 + ω + ω.

"ωω + ω33 + ω2, ωω + ω33 + ω2 + 1, ωω + ω33 + ω2 + 2, ωω + ω33 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω33 + ω2 + ω.

"ωω + ω33 + ω3, ωω + ω33 + ω3 + 1, ωω + ω33 + ω3 + 2, ωω + ω33 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω33 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω33 + ω2.

"ωω + ω33 + ω2, ωω + ω33 + ω2 + 1, ωω + ω33 + ω2 + 2, ωω + ω33 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω33 + ω2 + ω.

"ωω + ω33 + ω2 + ω, ωω + ω33 + ω2 + ω + 1, ωω + ω33 + ω2 + ω + 2, ωω + ω33 + ω2 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω33 + ω2 + ω + ω.

"ωω + ω33 + ω2 + ω2, ωω + ω33 + ω2 + ω2 + 1, ωω + ω33 + ω2 + ω2 + 2, ωω + ω33 + ω2 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω33 + ω2 + ω2 + ω.

"ωω + ω33 + ω2 + ω3, ωω + ω33 + ω2 + ω3 + 1, ωω + ω33 + ω2 + ω3 + 2, ωω + ω33 + ω2 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω33 + ω2 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω33 + ω2 + ω2.

"ωω + ω33 + ω22, ωω + ω33 + ω22 + 1, ωω + ω33 + ω22 + 2, ωω + ω33 + ω22 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω33 + ω22 + ω.

"ωω + ω33 + ω22 + ω, ωω + ω33 + ω22 + ω + 1, ωω + ω33 + ω22 + ω + 2, ωω + ω33 + ω22 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω33 + ω22 + ω + ω.

"ωω + ω33 + ω22 + ω2, ωω + ω33 + ω22 + ω2 + 1, ωω + ω33 + ω22 + ω2 + 2, ωω + ω33 + ω22 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω33 + ω22 + ω2 + ω.

"ωω + ω33 + ω22 + ω3, ωω + ω33 + ω22 + ω3 + 1, ωω + ω33 + ω22 + ω3 + 2, ωω + ω33 + ω22 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω33 + ω22 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω33 + ω22 + ω2.

"ωω + ω33 + ω23, ωω + ω33 + ω23 + 1, ωω + ω33 + ω23 + 2, ωω + ω33 + ω23 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω33 + ω23 + ω.

"ωω + ω33 + ω23 + ω, ωω + ω33 + ω23 + ω + 1, ωω + ω33 + ω23 + ω + 2, ωω + ω33 + ω23 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω33 + ω23 + ω + ω.

"ωω + ω33 + ω23 + ω2, ωω + ω33 + ω23 + ω2 + 1, ωω + ω33 + ω23 + ω2 + 2, ωω + ω33 + ω23 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω33 + ω23 + ω2 + ω.

"ωω + ω33 + ω23 + ω3, ωω + ω33 + ω23 + ω3 + 1, ωω + ω33 + ω23 + ω3 + 2, ωω + ω33 + ω23 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω33 + ω23 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω33 + ω23 + ω2.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + ω33 + ω3.

"ωω2, ωω2 + 1, ωω2 + 2, ωω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω.

"ωω2 + ω, ωω2 + ω + 1, ωω2 + ω + 2, ωω2 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω + ω.

"ωω2 + ω2, ωω2 + ω2 + 1, ωω2 + ω2 + 2, ωω2 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω2 + ω.

"ωω2 + ω3, ωω2 + ω3 + 1, ωω2 + ω3 + 2, ωω2 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω2.

"ωω2 + ω2, ωω2 + ω2 + 1, ωω2 + ω2 + 2, ωω2 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω2 + ω.

"ωω2 + ω2 + ω, ωω2 + ω2 + ω + 1, ωω2 + ω2 + ω + 2, ωω2 + ω2 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω2 + ω + ω.

"ωω2 + ω2 + ω2, ωω2 + ω2 + ω2 + 1, ωω2 + ω2 + ω2 + 2, ωω2 + ω2 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω2 + ω2 + ω.

"ωω2 + ω2 + ω3, ωω2 + ω2 + ω3 + 1, ωω2 + ω2 + ω3 + 2, ωω2 + ω2 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω2 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω2 + ω2.

"ωω2 + ω22, ωω2 + ω22 + 1, ωω2 + ω22 + 2, ωω2 + ω22 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω22 + ω.

"ωω2 + ω22 + ω, ωω2 + ω22 + ω + 1, ωω2 + ω22 + ω + 2, ωω2 + ω22 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω22 + ω + ω.

"ωω2 + ω22 + ω2, ωω2 + ω22 + ω2 + 1, ωω2 + ω22 + ω2 + 2, ωω2 + ω22 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω22 + ω2 + ω.

"ωω2 + ω22 + ω3, ωω2 + ω22 + ω3 + 1, ωω2 + ω22 + ω3 + 2, ωω2 + ω22 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω22 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω22 + ω2.

"ωω2 + ω23, ωω2 + ω23 + 1, ωω2 + ω23 + 2, ωω2 + ω23 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω23 + ω.

"ωω2 + ω23 + ω, ωω2 + ω23 + ω + 1, ωω2 + ω23 + ω + 2, ωω2 + ω23 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω23 + ω + ω.

"ωω2 + ω23 + ω2, ωω2 + ω23 + ω2 + 1, ωω2 + ω23 + ω2 + 2, ωω2 + ω23 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω23 + ω2 + ω.

"ωω2 + ω23 + ω3, ωω2 + ω23 + ω3 + 1, ωω2 + ω23 + ω3 + 2, ωω2 + ω23 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω23 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω23 + ω2.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω3.

"ωω2 + ω3, ωω2 + ω3 + 1, ωω2 + ω3 + 2, ωω2 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω3 + ω.

"ωω2 + ω3 + ω, ωω2 + ω3 + ω + 1, ωω2 + ω3 + ω + 2, ωω2 + ω3 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω3 + ω + ω.

"ωω2 + ω3 + ω2, ωω2 + ω3 + ω2 + 1, ωω2 + ω3 + ω2 + 2, ωω2 + ω3 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω3 + ω2 + ω.

"ωω2 + ω3 + ω3, ωω2 + ω3 + ω3 + 1, ωω2 + ω3 + ω3 + 2, ωω2 + ω3 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω3 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω3 + ω2.

"ωω2 + ω3 + ω2, ωω2 + ω3 + ω2 + 1, ωω2 + ω3 + ω2 + 2, ωω2 + ω3 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω3 + ω2 + ω.

"ωω2 + ω3 + ω2 + ω, ωω2 + ω3 + ω2 + ω + 1, ωω2 + ω3 + ω2 + ω + 2, ωω2 + ω3 + ω2 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω3 + ω2 + ω + ω.

"ωω2 + ω3 + ω2 + ω2, ωω2 + ω3 + ω2 + ω2 + 1, ωω2 + ω3 + ω2 + ω2 + 2, ωω2 + ω3 + ω2 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω3 + ω2 + ω2 + ω.

"ωω2 + ω3 + ω2 + ω3, ωω2 + ω3 + ω2 + ω3 + 1, ωω2 + ω3 + ω2 + ω3 + 2, ωω2 + ω3 + ω2 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω3 + ω2 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω3 + ω2 + ω2.

"ωω2 + ω3 + ω22, ωω2 + ω3 + ω22 + 1, ωω2 + ω3 + ω22 + 2, ωω2 + ω3 + ω22 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω3 + ω22 + ω.

"ωω2 + ω3 + ω22 + ω, ωω2 + ω3 + ω22 + ω + 1, ωω2 + ω3 + ω22 + ω + 2, ωω2 + ω3 + ω22 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω3 + ω22 + ω + ω.

"ωω2 + ω3 + ω22 + ω2, ωω2 + ω3 + ω22 + ω2 + 1, ωω2 + ω3 + ω22 + ω2 + 2, ωω2 + ω3 + ω22 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω3 + ω22 + ω2 + ω.

"ωω2 + ω3 + ω22 + ω3, ωω2 + ω3 + ω22 + ω3 + 1, ωω2 + ω3 + ω22 + ω3 + 2, ωω2 + ω3 + ω22 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω3 + ω22 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω3 + ω22 + ω2.

"ωω2 + ω3 + ω23, ωω2 + ω3 + ω23 + 1, ωω2 + ω3 + ω23 + 2, ωω2 + ω3 + ω23 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω3 + ω23 + ω.

"ωω2 + ω3 + ω23 + ω, ωω2 + ω3 + ω23 + ω + 1, ωω2 + ω3 + ω23 + ω + 2, ωω2 + ω3 + ω23 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω3 + ω23 + ω + ω.

"ωω2 + ω3 + ω23 + ω2, ωω2 + ω3 + ω23 + ω2 + 1, ωω2 + ω3 + ω23 + ω2 + 2, ωω2 + ω3 + ω23 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω3 + ω23 + ω2 + ω.

"ωω2 + ω3 + ω23 + ω3, ωω2 + ω3 + ω23 + ω3 + 1, ωω2 + ω3 + ω23 + ω3 + 2, ωω2 + ω3 + ω23 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω3 + ω23 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω3 + ω23 + ω2.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω3 + ω3.

"ωω2 + ω32, ωω2 + ω32 + 1, ωω2 + ω32 + 2, ωω2 + ω32 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω32 + ω.

"ωω2 + ω32 + ω, ωω2 + ω32 + ω + 1, ωω2 + ω32 + ω + 2, ωω2 + ω32 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω32 + ω + ω.

"ωω2 + ω32 + ω2, ωω2 + ω32 + ω2 + 1, ωω2 + ω32 + ω2 + 2, ωω2 + ω32 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω32 + ω2 + ω.

"ωω2 + ω32 + ω3, ωω2 + ω32 + ω3 + 1, ωω2 + ω32 + ω3 + 2, ωω2 + ω32 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω32 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω32 + ω2.

"ωω2 + ω32 + ω2, ωω2 + ω32 + ω2 + 1, ωω2 + ω32 + ω2 + 2, ωω2 + ω32 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω32 + ω2 + ω.

"ωω2 + ω32 + ω2 + ω, ωω2 + ω32 + ω2 + ω + 1, ωω2 + ω32 + ω2 + ω + 2, ωω2 + ω32 + ω2 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω32 + ω2 + ω + ω.

"ωω2 + ω32 + ω2 + ω2, ωω2 + ω32 + ω2 + ω2 + 1, ωω2 + ω32 + ω2 + ω2 + 2, ωω2 + ω32 + ω2 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω32 + ω2 + ω2 + ω.

"ωω2 + ω32 + ω2 + ω3, ωω2 + ω32 + ω2 + ω3 + 1, ωω2 + ω32 + ω2 + ω3 + 2, ωω2 + ω32 + ω2 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω32 + ω2 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω32 + ω2 + ω2.

"ωω2 + ω32 + ω22, ωω2 + ω32 + ω22 + 1, ωω2 + ω32 + ω22 + 2, ωω2 + ω32 + ω22 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω32 + ω22 + ω.

"ωω2 + ω32 + ω22 + ω, ωω2 + ω32 + ω22 + ω + 1, ωω2 + ω32 + ω22 + ω + 2, ωω2 + ω32 + ω22 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω32 + ω22 + ω + ω.

"ωω2 + ω32 + ω22 + ω2, ωω2 + ω32 + ω22 + ω2 + 1, ωω2 + ω32 + ω22 + ω2 + 2, ωω2 + ω32 + ω22 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω32 + ω22 + ω2 + ω.

"ωω2 + ω32 + ω22 + ω3, ωω2 + ω32 + ω22 + ω3 + 1, ωω2 + ω32 + ω22 + ω3 + 2, ωω2 + ω32 + ω22 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω32 + ω22 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω32 + ω22 + ω2.

"ωω2 + ω32 + ω23, ωω2 + ω32 + ω23 + 1, ωω2 + ω32 + ω23 + 2, ωω2 + ω32 + ω23 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω32 + ω23 + ω.

"ωω2 + ω32 + ω23 + ω, ωω2 + ω32 + ω23 + ω + 1, ωω2 + ω32 + ω23 + ω + 2, ωω2 + ω32 + ω23 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω32 + ω23 + ω + ω.

"ωω2 + ω32 + ω23 + ω2, ωω2 + ω32 + ω23 + ω2 + 1, ωω2 + ω32 + ω23 + ω2 + 2, ωω2 + ω32 + ω23 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω32 + ω23 + ω2 + ω.

"ωω2 + ω32 + ω23 + ω3, ωω2 + ω32 + ω23 + ω3 + 1, ωω2 + ω32 + ω23 + ω3 + 2, ωω2 + ω32 + ω23 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω32 + ω23 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω32 + ω23 + ω2.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω32 + ω3.

"ωω2 + ω33, ωω2 + ω33 + 1, ωω2 + ω33 + 2, ωω2 + ω33 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω33 + ω.

"ωω2 + ω33 + ω, ωω2 + ω33 + ω + 1, ωω2 + ω33 + ω + 2, ωω2 + ω33 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω33 + ω + ω.

"ωω2 + ω33 + ω2, ωω2 + ω33 + ω2 + 1, ωω2 + ω33 + ω2 + 2, ωω2 + ω33 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω33 + ω2 + ω.

"ωω2 + ω33 + ω3, ωω2 + ω33 + ω3 + 1, ωω2 + ω33 + ω3 + 2, ωω2 + ω33 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω33 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω33 + ω2.

"ωω2 + ω33 + ω2, ωω2 + ω33 + ω2 + 1, ωω2 + ω33 + ω2 + 2, ωω2 + ω33 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω33 + ω2 + ω.

"ωω2 + ω33 + ω2 + ω, ωω2 + ω33 + ω2 + ω + 1, ωω2 + ω33 + ω2 + ω + 2, ωω2 + ω33 + ω2 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω33 + ω2 + ω + ω.

"ωω2 + ω33 + ω2 + ω2, ωω2 + ω33 + ω2 + ω2 + 1, ωω2 + ω33 + ω2 + ω2 + 2, ωω2 + ω33 + ω2 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω33 + ω2 + ω2 + ω.

"ωω2 + ω33 + ω2 + ω3, ωω2 + ω33 + ω2 + ω3 + 1, ωω2 + ω33 + ω2 + ω3 + 2, ωω2 + ω33 + ω2 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω33 + ω2 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω33 + ω2 + ω2.

"ωω2 + ω33 + ω22, ωω2 + ω33 + ω22 + 1, ωω2 + ω33 + ω22 + 2, ωω2 + ω33 + ω22 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω33 + ω22 + ω.

"ωω2 + ω33 + ω22 + ω, ωω2 + ω33 + ω22 + ω + 1, ωω2 + ω33 + ω22 + ω + 2, ωω2 + ω33 + ω22 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω33 + ω22 + ω + ω.

"ωω2 + ω33 + ω22 + ω2, ωω2 + ω33 + ω22 + ω2 + 1, ωω2 + ω33 + ω22 + ω2 + 2, ωω2 + ω33 + ω22 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω33 + ω22 + ω2 + ω.

"ωω2 + ω33 + ω22 + ω3, ωω2 + ω33 + ω22 + ω3 + 1, ωω2 + ω33 + ω22 + ω3 + 2, ωω2 + ω33 + ω22 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω33 + ω22 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω33 + ω22 + ω2.

"ωω2 + ω33 + ω23, ωω2 + ω33 + ω23 + 1, ωω2 + ω33 + ω23 + 2, ωω2 + ω33 + ω23 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω33 + ω23 + ω.

"ωω2 + ω33 + ω23 + ω, ωω2 + ω33 + ω23 + ω + 1, ωω2 + ω33 + ω23 + ω + 2, ωω2 + ω33 + ω23 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω33 + ω23 + ω + ω.

"ωω2 + ω33 + ω23 + ω2, ωω2 + ω33 + ω23 + ω2 + 1, ωω2 + ω33 + ω23 + ω2 + 2, ωω2 + ω33 + ω23 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω33 + ω23 + ω2 + ω.

"ωω2 + ω33 + ω23 + ω3, ωω2 + ω33 + ω23 + ω3 + 1, ωω2 + ω33 + ω23 + ω3 + 2, ωω2 + ω33 + ω23 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω33 + ω23 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω33 + ω23 + ω2.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω2 + ω33 + ω3.

"ωω3, ωω3 + 1, ωω3 + 2, ωω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω.

"ωω3 + ω, ωω3 + ω + 1, ωω3 + ω + 2, ωω3 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω + ω.

"ωω3 + ω2, ωω3 + ω2 + 1, ωω3 + ω2 + 2, ωω3 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω2 + ω.

"ωω3 + ω3, ωω3 + ω3 + 1, ωω3 + ω3 + 2, ωω3 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω2.

"ωω3 + ω2, ωω3 + ω2 + 1, ωω3 + ω2 + 2, ωω3 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω2 + ω.

"ωω3 + ω2 + ω, ωω3 + ω2 + ω + 1, ωω3 + ω2 + ω + 2, ωω3 + ω2 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω2 + ω + ω.

"ωω3 + ω2 + ω2, ωω3 + ω2 + ω2 + 1, ωω3 + ω2 + ω2 + 2, ωω3 + ω2 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω2 + ω2 + ω.

"ωω3 + ω2 + ω3, ωω3 + ω2 + ω3 + 1, ωω3 + ω2 + ω3 + 2, ωω3 + ω2 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω2 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω2 + ω2.

"ωω3 + ω22, ωω3 + ω22 + 1, ωω3 + ω22 + 2, ωω3 + ω22 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω22 + ω.

"ωω3 + ω22 + ω, ωω3 + ω22 + ω + 1, ωω3 + ω22 + ω + 2, ωω3 + ω22 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω22 + ω + ω.

"ωω3 + ω22 + ω2, ωω3 + ω22 + ω2 + 1, ωω3 + ω22 + ω2 + 2, ωω3 + ω22 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω22 + ω2 + ω.

"ωω3 + ω22 + ω3, ωω3 + ω22 + ω3 + 1, ωω3 + ω22 + ω3 + 2, ωω3 + ω22 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω22 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω22 + ω2.

"ωω3 + ω23, ωω3 + ω23 + 1, ωω3 + ω23 + 2, ωω3 + ω23 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω23 + ω.

"ωω3 + ω23 + ω, ωω3 + ω23 + ω + 1, ωω3 + ω23 + ω + 2, ωω3 + ω23 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω23 + ω + ω.

"ωω3 + ω23 + ω2, ωω3 + ω23 + ω2 + 1, ωω3 + ω23 + ω2 + 2, ωω3 + ω23 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω23 + ω2 + ω.

"ωω3 + ω23 + ω3, ωω3 + ω23 + ω3 + 1, ωω3 + ω23 + ω3 + 2, ωω3 + ω23 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω23 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω23 + ω2.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω3.

"ωω3 + ω3, ωω3 + ω3 + 1, ωω3 + ω3 + 2, ωω3 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω3 + ω.

"ωω3 + ω3 + ω, ωω3 + ω3 + ω + 1, ωω3 + ω3 + ω + 2, ωω3 + ω3 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω3 + ω + ω.

"ωω3 + ω3 + ω2, ωω3 + ω3 + ω2 + 1, ωω3 + ω3 + ω2 + 2, ωω3 + ω3 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω3 + ω2 + ω.

"ωω3 + ω3 + ω3, ωω3 + ω3 + ω3 + 1, ωω3 + ω3 + ω3 + 2, ωω3 + ω3 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω3 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω3 + ω2.

"ωω3 + ω3 + ω2, ωω3 + ω3 + ω2 + 1, ωω3 + ω3 + ω2 + 2, ωω3 + ω3 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω3 + ω2 + ω.

"ωω3 + ω3 + ω2 + ω, ωω3 + ω3 + ω2 + ω + 1, ωω3 + ω3 + ω2 + ω + 2, ωω3 + ω3 + ω2 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω3 + ω2 + ω + ω.

"ωω3 + ω3 + ω2 + ω2, ωω3 + ω3 + ω2 + ω2 + 1, ωω3 + ω3 + ω2 + ω2 + 2, ωω3 + ω3 + ω2 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω3 + ω2 + ω2 + ω.

"ωω3 + ω3 + ω2 + ω3, ωω3 + ω3 + ω2 + ω3 + 1, ωω3 + ω3 + ω2 + ω3 + 2, ωω3 + ω3 + ω2 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω3 + ω2 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω3 + ω2 + ω2.

"ωω3 + ω3 + ω22, ωω3 + ω3 + ω22 + 1, ωω3 + ω3 + ω22 + 2, ωω3 + ω3 + ω22 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω3 + ω22 + ω.

"ωω3 + ω3 + ω22 + ω, ωω3 + ω3 + ω22 + ω + 1, ωω3 + ω3 + ω22 + ω + 2, ωω3 + ω3 + ω22 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω3 + ω22 + ω + ω.

"ωω3 + ω3 + ω22 + ω2, ωω3 + ω3 + ω22 + ω2 + 1, ωω3 + ω3 + ω22 + ω2 + 2, ωω3 + ω3 + ω22 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω3 + ω22 + ω2 + ω.

"ωω3 + ω3 + ω22 + ω3, ωω3 + ω3 + ω22 + ω3 + 1, ωω3 + ω3 + ω22 + ω3 + 2, ωω3 + ω3 + ω22 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω3 + ω22 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω3 + ω22 + ω2.

"ωω3 + ω3 + ω23, ωω3 + ω3 + ω23 + 1, ωω3 + ω3 + ω23 + 2, ωω3 + ω3 + ω23 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω3 + ω23 + ω.

"ωω3 + ω3 + ω23 + ω, ωω3 + ω3 + ω23 + ω + 1, ωω3 + ω3 + ω23 + ω + 2, ωω3 + ω3 + ω23 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω3 + ω23 + ω + ω.

"ωω3 + ω3 + ω23 + ω2, ωω3 + ω3 + ω23 + ω2 + 1, ωω3 + ω3 + ω23 + ω2 + 2, ωω3 + ω3 + ω23 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω3 + ω23 + ω2 + ω.

"ωω3 + ω3 + ω23 + ω3, ωω3 + ω3 + ω23 + ω3 + 1, ωω3 + ω3 + ω23 + ω3 + 2, ωω3 + ω3 + ω23 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω3 + ω23 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω3 + ω23 + ω2.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω3 + ω3.

"ωω3 + ω32, ωω3 + ω32 + 1, ωω3 + ω32 + 2, ωω3 + ω32 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω32 + ω.

"ωω3 + ω32 + ω, ωω3 + ω32 + ω + 1, ωω3 + ω32 + ω + 2, ωω3 + ω32 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω32 + ω + ω.

"ωω3 + ω32 + ω2, ωω3 + ω32 + ω2 + 1, ωω3 + ω32 + ω2 + 2, ωω3 + ω32 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω32 + ω2 + ω.

"ωω3 + ω32 + ω3, ωω3 + ω32 + ω3 + 1, ωω3 + ω32 + ω3 + 2, ωω3 + ω32 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω32 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω32 + ω2.

"ωω3 + ω32 + ω2, ωω3 + ω32 + ω2 + 1, ωω3 + ω32 + ω2 + 2, ωω3 + ω32 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω32 + ω2 + ω.

"ωω3 + ω32 + ω2 + ω, ωω3 + ω32 + ω2 + ω + 1, ωω3 + ω32 + ω2 + ω + 2, ωω3 + ω32 + ω2 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω32 + ω2 + ω + ω.

"ωω3 + ω32 + ω2 + ω2, ωω3 + ω32 + ω2 + ω2 + 1, ωω3 + ω32 + ω2 + ω2 + 2, ωω3 + ω32 + ω2 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω32 + ω2 + ω2 + ω.

"ωω3 + ω32 + ω2 + ω3, ωω3 + ω32 + ω2 + ω3 + 1, ωω3 + ω32 + ω2 + ω3 + 2, ωω3 + ω32 + ω2 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω32 + ω2 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω32 + ω2 + ω2.

"ωω3 + ω32 + ω22, ωω3 + ω32 + ω22 + 1, ωω3 + ω32 + ω22 + 2, ωω3 + ω32 + ω22 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω32 + ω22 + ω.

"ωω3 + ω32 + ω22 + ω, ωω3 + ω32 + ω22 + ω + 1, ωω3 + ω32 + ω22 + ω + 2, ωω3 + ω32 + ω22 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω32 + ω22 + ω + ω.

"ωω3 + ω32 + ω22 + ω2, ωω3 + ω32 + ω22 + ω2 + 1, ωω3 + ω32 + ω22 + ω2 + 2, ωω3 + ω32 + ω22 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω32 + ω22 + ω2 + ω.

"ωω3 + ω32 + ω22 + ω3, ωω3 + ω32 + ω22 + ω3 + 1, ωω3 + ω32 + ω22 + ω3 + 2, ωω3 + ω32 + ω22 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω32 + ω22 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω32 + ω22 + ω2.

"ωω3 + ω32 + ω23, ωω3 + ω32 + ω23 + 1, ωω3 + ω32 + ω23 + 2, ωω3 + ω32 + ω23 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω32 + ω23 + ω.

"ωω3 + ω32 + ω23 + ω, ωω3 + ω32 + ω23 + ω + 1, ωω3 + ω32 + ω23 + ω + 2, ωω3 + ω32 + ω23 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω32 + ω23 + ω + ω.

"ωω3 + ω32 + ω23 + ω2, ωω3 + ω32 + ω23 + ω2 + 1, ωω3 + ω32 + ω23 + ω2 + 2, ωω3 + ω32 + ω23 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω32 + ω23 + ω2 + ω.

"ωω3 + ω32 + ω23 + ω3, ωω3 + ω32 + ω23 + ω3 + 1, ωω3 + ω32 + ω23 + ω3 + 2, ωω3 + ω32 + ω23 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω32 + ω23 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω32 + ω23 + ω2.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω32 + ω3.

"ωω3 + ω33, ωω3 + ω33 + 1, ωω3 + ω33 + 2, ωω3 + ω33 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω33 + ω.

"ωω3 + ω33 + ω, ωω3 + ω33 + ω + 1, ωω3 + ω33 + ω + 2, ωω3 + ω33 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω33 + ω + ω.

"ωω3 + ω33 + ω2, ωω3 + ω33 + ω2 + 1, ωω3 + ω33 + ω2 + 2, ωω3 + ω33 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω33 + ω2 + ω.

"ωω3 + ω33 + ω3, ωω3 + ω33 + ω3 + 1, ωω3 + ω33 + ω3 + 2, ωω3 + ω33 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω33 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω33 + ω2.

"ωω3 + ω33 + ω2, ωω3 + ω33 + ω2 + 1, ωω3 + ω33 + ω2 + 2, ωω3 + ω33 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω33 + ω2 + ω.

"ωω3 + ω33 + ω2 + ω, ωω3 + ω33 + ω2 + ω + 1, ωω3 + ω33 + ω2 + ω + 2, ωω3 + ω33 + ω2 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω33 + ω2 + ω + ω.

"ωω3 + ω33 + ω2 + ω2, ωω3 + ω33 + ω2 + ω2 + 1, ωω3 + ω33 + ω2 + ω2 + 2, ωω3 + ω33 + ω2 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω33 + ω2 + ω2 + ω.

"ωω3 + ω33 + ω2 + ω3, ωω3 + ω33 + ω2 + ω3 + 1, ωω3 + ω33 + ω2 + ω3 + 2, ωω3 + ω33 + ω2 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω33 + ω2 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω33 + ω2 + ω2.

"ωω3 + ω33 + ω22, ωω3 + ω33 + ω22 + 1, ωω3 + ω33 + ω22 + 2, ωω3 + ω33 + ω22 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω33 + ω22 + ω.

"ωω3 + ω33 + ω22 + ω, ωω3 + ω33 + ω22 + ω + 1, ωω3 + ω33 + ω22 + ω + 2, ωω3 + ω33 + ω22 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω33 + ω22 + ω + ω.

"ωω3 + ω33 + ω22 + ω2, ωω3 + ω33 + ω22 + ω2 + 1, ωω3 + ω33 + ω22 + ω2 + 2, ωω3 + ω33 + ω22 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω33 + ω22 + ω2 + ω.

"ωω3 + ω33 + ω22 + ω3, ωω3 + ω33 + ω22 + ω3 + 1, ωω3 + ω33 + ω22 + ω3 + 2, ωω3 + ω33 + ω22 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω33 + ω22 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω33 + ω22 + ω2.

"ωω3 + ω33 + ω23, ωω3 + ω33 + ω23 + 1, ωω3 + ω33 + ω23 + 2, ωω3 + ω33 + ω23 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω33 + ω23 + ω.

"ωω3 + ω33 + ω23 + ω, ωω3 + ω33 + ω23 + ω + 1, ωω3 + ω33 + ω23 + ω + 2, ωω3 + ω33 + ω23 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω33 + ω23 + ω + ω.

"ωω3 + ω33 + ω23 + ω2, ωω3 + ω33 + ω23 + ω2 + 1, ωω3 + ω33 + ω23 + ω2 + 2, ωω3 + ω33 + ω23 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω33 + ω23 + ω2 + ω.

"ωω3 + ω33 + ω23 + ω3, ωω3 + ω33 + ω23 + ω3 + 1, ωω3 + ω33 + ω23 + ω3 + 2, ωω3 + ω33 + ω23 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω33 + ω23 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω33 + ω23 + ω2.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω3 + ω33 + ω3.

"ωω + 1, ωω + 1 + 1, ωω + 1 + 2, ωω + 1 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω.

"ωω + 1 + ω, ωω + 1 + ω + 1, ωω + 1 + ω + 2, ωω + 1 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω + ω.

"ωω + 1 + ω2, ωω + 1 + ω2 + 1, ωω + 1 + ω2 + 2, ωω + 1 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω2 + ω.

"ωω + 1 + ω3, ωω + 1 + ω3 + 1, ωω + 1 + ω3 + 2, ωω + 1 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω2.

"ωω + 1 + ω2, ωω + 1 + ω2 + 1, ωω + 1 + ω2 + 2, ωω + 1 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω2 + ω.

"ωω + 1 + ω2 + ω, ωω + 1 + ω2 + ω + 1, ωω + 1 + ω2 + ω + 2, ωω + 1 + ω2 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω2 + ω + ω.

"ωω + 1 + ω2 + ω2, ωω + 1 + ω2 + ω2 + 1, ωω + 1 + ω2 + ω2 + 2, ωω + 1 + ω2 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω2 + ω2 + ω.

"ωω + 1 + ω2 + ω3, ωω + 1 + ω2 + ω3 + 1, ωω + 1 + ω2 + ω3 + 2, ωω + 1 + ω2 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω2 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω2 + ω2.

"ωω + 1 + ω22, ωω + 1 + ω22 + 1, ωω + 1 + ω22 + 2, ωω + 1 + ω22 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω22 + ω.

"ωω + 1 + ω22 + ω, ωω + 1 + ω22 + ω + 1, ωω + 1 + ω22 + ω + 2, ωω + 1 + ω22 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω22 + ω + ω.

"ωω + 1 + ω22 + ω2, ωω + 1 + ω22 + ω2 + 1, ωω + 1 + ω22 + ω2 + 2, ωω + 1 + ω22 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω22 + ω2 + ω.

"ωω + 1 + ω22 + ω3, ωω + 1 + ω22 + ω3 + 1, ωω + 1 + ω22 + ω3 + 2, ωω + 1 + ω22 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω22 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω22 + ω2.

"ωω + 1 + ω23, ωω + 1 + ω23 + 1, ωω + 1 + ω23 + 2, ωω + 1 + ω23 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω23 + ω.

"ωω + 1 + ω23 + ω, ωω + 1 + ω23 + ω + 1, ωω + 1 + ω23 + ω + 2, ωω + 1 + ω23 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω23 + ω + ω.

"ωω + 1 + ω23 + ω2, ωω + 1 + ω23 + ω2 + 1, ωω + 1 + ω23 + ω2 + 2, ωω + 1 + ω23 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω23 + ω2 + ω.

"ωω + 1 + ω23 + ω3, ωω + 1 + ω23 + ω3 + 1, ωω + 1 + ω23 + ω3 + 2, ωω + 1 + ω23 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω23 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω23 + ω2.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω3.

"ωω + 1 + ω3, ωω + 1 + ω3 + 1, ωω + 1 + ω3 + 2, ωω + 1 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω3 + ω.

"ωω + 1 + ω3 + ω, ωω + 1 + ω3 + ω + 1, ωω + 1 + ω3 + ω + 2, ωω + 1 + ω3 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω3 + ω + ω.

"ωω + 1 + ω3 + ω2, ωω + 1 + ω3 + ω2 + 1, ωω + 1 + ω3 + ω2 + 2, ωω + 1 + ω3 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω3 + ω2 + ω.

"ωω + 1 + ω3 + ω3, ωω + 1 + ω3 + ω3 + 1, ωω + 1 + ω3 + ω3 + 2, ωω + 1 + ω3 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω3 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω3 + ω2.

"ωω + 1 + ω3 + ω2, ωω + 1 + ω3 + ω2 + 1, ωω + 1 + ω3 + ω2 + 2, ωω + 1 + ω3 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω3 + ω2 + ω.

"ωω + 1 + ω3 + ω2 + ω, ωω + 1 + ω3 + ω2 + ω + 1, ωω + 1 + ω3 + ω2 + ω + 2, ωω + 1 + ω3 + ω2 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω3 + ω2 + ω + ω.

"ωω + 1 + ω3 + ω2 + ω2, ωω + 1 + ω3 + ω2 + ω2 + 1, ωω + 1 + ω3 + ω2 + ω2 + 2, ωω + 1 + ω3 + ω2 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω3 + ω2 + ω2 + ω.

"ωω + 1 + ω3 + ω2 + ω3, ωω + 1 + ω3 + ω2 + ω3 + 1, ωω + 1 + ω3 + ω2 + ω3 + 2, ωω + 1 + ω3 + ω2 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω3 + ω2 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω3 + ω2 + ω2.

"ωω + 1 + ω3 + ω22, ωω + 1 + ω3 + ω22 + 1, ωω + 1 + ω3 + ω22 + 2, ωω + 1 + ω3 + ω22 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω3 + ω22 + ω.

"ωω + 1 + ω3 + ω22 + ω, ωω + 1 + ω3 + ω22 + ω + 1, ωω + 1 + ω3 + ω22 + ω + 2, ωω + 1 + ω3 + ω22 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω3 + ω22 + ω + ω.

"ωω + 1 + ω3 + ω22 + ω2, ωω + 1 + ω3 + ω22 + ω2 + 1, ωω + 1 + ω3 + ω22 + ω2 + 2, ωω + 1 + ω3 + ω22 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω3 + ω22 + ω2 + ω.

"ωω + 1 + ω3 + ω22 + ω3, ωω + 1 + ω3 + ω22 + ω3 + 1, ωω + 1 + ω3 + ω22 + ω3 + 2, ωω + 1 + ω3 + ω22 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω3 + ω22 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω3 + ω22 + ω2.

"ωω + 1 + ω3 + ω23, ωω + 1 + ω3 + ω23 + 1, ωω + 1 + ω3 + ω23 + 2, ωω + 1 + ω3 + ω23 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω3 + ω23 + ω.

"ωω + 1 + ω3 + ω23 + ω, ωω + 1 + ω3 + ω23 + ω + 1, ωω + 1 + ω3 + ω23 + ω + 2, ωω + 1 + ω3 + ω23 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω3 + ω23 + ω + ω.

"ωω + 1 + ω3 + ω23 + ω2, ωω + 1 + ω3 + ω23 + ω2 + 1, ωω + 1 + ω3 + ω23 + ω2 + 2, ωω + 1 + ω3 + ω23 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω3 + ω23 + ω2 + ω.

"ωω + 1 + ω3 + ω23 + ω3, ωω + 1 + ω3 + ω23 + ω3 + 1, ωω + 1 + ω3 + ω23 + ω3 + 2, ωω + 1 + ω3 + ω23 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω3 + ω23 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω3 + ω23 + ω2.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω3 + ω3.

"ωω + 1 + ω32, ωω + 1 + ω32 + 1, ωω + 1 + ω32 + 2, ωω + 1 + ω32 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω32 + ω.

"ωω + 1 + ω32 + ω, ωω + 1 + ω32 + ω + 1, ωω + 1 + ω32 + ω + 2, ωω + 1 + ω32 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω32 + ω + ω.

"ωω + 1 + ω32 + ω2, ωω + 1 + ω32 + ω2 + 1, ωω + 1 + ω32 + ω2 + 2, ωω + 1 + ω32 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω32 + ω2 + ω.

"ωω + 1 + ω32 + ω3, ωω + 1 + ω32 + ω3 + 1, ωω + 1 + ω32 + ω3 + 2, ωω + 1 + ω32 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω32 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω32 + ω2.

"ωω + 1 + ω32 + ω2, ωω + 1 + ω32 + ω2 + 1, ωω + 1 + ω32 + ω2 + 2, ωω + 1 + ω32 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω32 + ω2 + ω.

"ωω + 1 + ω32 + ω2 + ω, ωω + 1 + ω32 + ω2 + ω + 1, ωω + 1 + ω32 + ω2 + ω + 2, ωω + 1 + ω32 + ω2 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω32 + ω2 + ω + ω.

"ωω + 1 + ω32 + ω2 + ω2, ωω + 1 + ω32 + ω2 + ω2 + 1, ωω + 1 + ω32 + ω2 + ω2 + 2, ωω + 1 + ω32 + ω2 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω32 + ω2 + ω2 + ω.

"ωω + 1 + ω32 + ω2 + ω3, ωω + 1 + ω32 + ω2 + ω3 + 1, ωω + 1 + ω32 + ω2 + ω3 + 2, ωω + 1 + ω32 + ω2 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω32 + ω2 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω32 + ω2 + ω2.

"ωω + 1 + ω32 + ω22, ωω + 1 + ω32 + ω22 + 1, ωω + 1 + ω32 + ω22 + 2, ωω + 1 + ω32 + ω22 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω32 + ω22 + ω.

"ωω + 1 + ω32 + ω22 + ω, ωω + 1 + ω32 + ω22 + ω + 1, ωω + 1 + ω32 + ω22 + ω + 2, ωω + 1 + ω32 + ω22 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω32 + ω22 + ω + ω.

"ωω + 1 + ω32 + ω22 + ω2, ωω + 1 + ω32 + ω22 + ω2 + 1, ωω + 1 + ω32 + ω22 + ω2 + 2, ωω + 1 + ω32 + ω22 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω32 + ω22 + ω2 + ω.

"ωω + 1 + ω32 + ω22 + ω3, ωω + 1 + ω32 + ω22 + ω3 + 1, ωω + 1 + ω32 + ω22 + ω3 + 2, ωω + 1 + ω32 + ω22 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω32 + ω22 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω32 + ω22 + ω2.

"ωω + 1 + ω32 + ω23, ωω + 1 + ω32 + ω23 + 1, ωω + 1 + ω32 + ω23 + 2, ωω + 1 + ω32 + ω23 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω32 + ω23 + ω.

"ωω + 1 + ω32 + ω23 + ω, ωω + 1 + ω32 + ω23 + ω + 1, ωω + 1 + ω32 + ω23 + ω + 2, ωω + 1 + ω32 + ω23 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω32 + ω23 + ω + ω.

"ωω + 1 + ω32 + ω23 + ω2, ωω + 1 + ω32 + ω23 + ω2 + 1, ωω + 1 + ω32 + ω23 + ω2 + 2, ωω + 1 + ω32 + ω23 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω32 + ω23 + ω2 + ω.

"ωω + 1 + ω32 + ω23 + ω3, ωω + 1 + ω32 + ω23 + ω3 + 1, ωω + 1 + ω32 + ω23 + ω3 + 2, ωω + 1 + ω32 + ω23 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω32 + ω23 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω32 + ω23 + ω2.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω32 + ω3.

"ωω + 1 + ω33, ωω + 1 + ω33 + 1, ωω + 1 + ω33 + 2, ωω + 1 + ω33 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω33 + ω.

"ωω + 1 + ω33 + ω, ωω + 1 + ω33 + ω + 1, ωω + 1 + ω33 + ω + 2, ωω + 1 + ω33 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω33 + ω + ω.

"ωω + 1 + ω33 + ω2, ωω + 1 + ω33 + ω2 + 1, ωω + 1 + ω33 + ω2 + 2, ωω + 1 + ω33 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω33 + ω2 + ω.

"ωω + 1 + ω33 + ω3, ωω + 1 + ω33 + ω3 + 1, ωω + 1 + ω33 + ω3 + 2, ωω + 1 + ω33 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω33 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω33 + ω2.

"ωω + 1 + ω33 + ω2, ωω + 1 + ω33 + ω2 + 1, ωω + 1 + ω33 + ω2 + 2, ωω + 1 + ω33 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω33 + ω2 + ω.

"ωω + 1 + ω33 + ω2 + ω, ωω + 1 + ω33 + ω2 + ω + 1, ωω + 1 + ω33 + ω2 + ω + 2, ωω + 1 + ω33 + ω2 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω33 + ω2 + ω + ω.

"ωω + 1 + ω33 + ω2 + ω2, ωω + 1 + ω33 + ω2 + ω2 + 1, ωω + 1 + ω33 + ω2 + ω2 + 2, ωω + 1 + ω33 + ω2 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω33 + ω2 + ω2 + ω.

"ωω + 1 + ω33 + ω2 + ω3, ωω + 1 + ω33 + ω2 + ω3 + 1, ωω + 1 + ω33 + ω2 + ω3 + 2, ωω + 1 + ω33 + ω2 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω33 + ω2 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω33 + ω2 + ω2.

"ωω + 1 + ω33 + ω22, ωω + 1 + ω33 + ω22 + 1, ωω + 1 + ω33 + ω22 + 2, ωω + 1 + ω33 + ω22 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω33 + ω22 + ω.

"ωω + 1 + ω33 + ω22 + ω, ωω + 1 + ω33 + ω22 + ω + 1, ωω + 1 + ω33 + ω22 + ω + 2, ωω + 1 + ω33 + ω22 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω33 + ω22 + ω + ω.

"ωω + 1 + ω33 + ω22 + ω2, ωω + 1 + ω33 + ω22 + ω2 + 1, ωω + 1 + ω33 + ω22 + ω2 + 2, ωω + 1 + ω33 + ω22 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω33 + ω22 + ω2 + ω.

"ωω + 1 + ω33 + ω22 + ω3, ωω + 1 + ω33 + ω22 + ω3 + 1, ωω + 1 + ω33 + ω22 + ω3 + 2, ωω + 1 + ω33 + ω22 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω33 + ω22 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω33 + ω22 + ω2.

"ωω + 1 + ω33 + ω23, ωω + 1 + ω33 + ω23 + 1, ωω + 1 + ω33 + ω23 + 2, ωω + 1 + ω33 + ω23 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω33 + ω23 + ω.

"ωω + 1 + ω33 + ω23 + ω, ωω + 1 + ω33 + ω23 + ω + 1, ωω + 1 + ω33 + ω23 + ω + 2, ωω + 1 + ω33 + ω23 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω33 + ω23 + ω + ω.

"ωω + 1 + ω33 + ω23 + ω2, ωω + 1 + ω33 + ω23 + ω2 + 1, ωω + 1 + ω33 + ω23 + ω2 + 2, ωω + 1 + ω33 + ω23 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω33 + ω23 + ω2 + ω.

"ωω + 1 + ω33 + ω23 + ω3, ωω + 1 + ω33 + ω23 + ω3 + 1, ωω + 1 + ω33 + ω23 + ω3 + 2, ωω + 1 + ω33 + ω23 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω33 + ω23 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω33 + ω23 + ω2.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 1 + ω33 + ω3.

"ωω + 12, ωω + 12 + 1, ωω + 12 + 2, ωω + 12 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω.

"ωω + 12 + ω, ωω + 12 + ω + 1, ωω + 12 + ω + 2, ωω + 12 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω + ω.

"ωω + 12 + ω2, ωω + 12 + ω2 + 1, ωω + 12 + ω2 + 2, ωω + 12 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω2 + ω.

"ωω + 12 + ω3, ωω + 12 + ω3 + 1, ωω + 12 + ω3 + 2, ωω + 12 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω2.

"ωω + 12 + ω2, ωω + 12 + ω2 + 1, ωω + 12 + ω2 + 2, ωω + 12 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω2 + ω.

"ωω + 12 + ω2 + ω, ωω + 12 + ω2 + ω + 1, ωω + 12 + ω2 + ω + 2, ωω + 12 + ω2 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω2 + ω + ω.

"ωω + 12 + ω2 + ω2, ωω + 12 + ω2 + ω2 + 1, ωω + 12 + ω2 + ω2 + 2, ωω + 12 + ω2 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω2 + ω2 + ω.

"ωω + 12 + ω2 + ω3, ωω + 12 + ω2 + ω3 + 1, ωω + 12 + ω2 + ω3 + 2, ωω + 12 + ω2 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω2 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω2 + ω2.

"ωω + 12 + ω22, ωω + 12 + ω22 + 1, ωω + 12 + ω22 + 2, ωω + 12 + ω22 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω22 + ω.

"ωω + 12 + ω22 + ω, ωω + 12 + ω22 + ω + 1, ωω + 12 + ω22 + ω + 2, ωω + 12 + ω22 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω22 + ω + ω.

"ωω + 12 + ω22 + ω2, ωω + 12 + ω22 + ω2 + 1, ωω + 12 + ω22 + ω2 + 2, ωω + 12 + ω22 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω22 + ω2 + ω.

"ωω + 12 + ω22 + ω3, ωω + 12 + ω22 + ω3 + 1, ωω + 12 + ω22 + ω3 + 2, ωω + 12 + ω22 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω22 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω22 + ω2.

"ωω + 12 + ω23, ωω + 12 + ω23 + 1, ωω + 12 + ω23 + 2, ωω + 12 + ω23 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω23 + ω.

"ωω + 12 + ω23 + ω, ωω + 12 + ω23 + ω + 1, ωω + 12 + ω23 + ω + 2, ωω + 12 + ω23 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω23 + ω + ω.

"ωω + 12 + ω23 + ω2, ωω + 12 + ω23 + ω2 + 1, ωω + 12 + ω23 + ω2 + 2, ωω + 12 + ω23 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω23 + ω2 + ω.

"ωω + 12 + ω23 + ω3, ωω + 12 + ω23 + ω3 + 1, ωω + 12 + ω23 + ω3 + 2, ωω + 12 + ω23 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω23 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω23 + ω2.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω3.

"ωω + 12 + ω3, ωω + 12 + ω3 + 1, ωω + 12 + ω3 + 2, ωω + 12 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω3 + ω.

"ωω + 12 + ω3 + ω, ωω + 12 + ω3 + ω + 1, ωω + 12 + ω3 + ω + 2, ωω + 12 + ω3 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω3 + ω + ω.

"ωω + 12 + ω3 + ω2, ωω + 12 + ω3 + ω2 + 1, ωω + 12 + ω3 + ω2 + 2, ωω + 12 + ω3 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω3 + ω2 + ω.

"ωω + 12 + ω3 + ω3, ωω + 12 + ω3 + ω3 + 1, ωω + 12 + ω3 + ω3 + 2, ωω + 12 + ω3 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω3 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω3 + ω2.

"ωω + 12 + ω3 + ω2, ωω + 12 + ω3 + ω2 + 1, ωω + 12 + ω3 + ω2 + 2, ωω + 12 + ω3 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω3 + ω2 + ω.

"ωω + 12 + ω3 + ω2 + ω, ωω + 12 + ω3 + ω2 + ω + 1, ωω + 12 + ω3 + ω2 + ω + 2, ωω + 12 + ω3 + ω2 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω3 + ω2 + ω + ω.

"ωω + 12 + ω3 + ω2 + ω2, ωω + 12 + ω3 + ω2 + ω2 + 1, ωω + 12 + ω3 + ω2 + ω2 + 2, ωω + 12 + ω3 + ω2 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω3 + ω2 + ω2 + ω.

"ωω + 12 + ω3 + ω2 + ω3, ωω + 12 + ω3 + ω2 + ω3 + 1, ωω + 12 + ω3 + ω2 + ω3 + 2, ωω + 12 + ω3 + ω2 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω3 + ω2 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω3 + ω2 + ω2.

"ωω + 12 + ω3 + ω22, ωω + 12 + ω3 + ω22 + 1, ωω + 12 + ω3 + ω22 + 2, ωω + 12 + ω3 + ω22 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω3 + ω22 + ω.

"ωω + 12 + ω3 + ω22 + ω, ωω + 12 + ω3 + ω22 + ω + 1, ωω + 12 + ω3 + ω22 + ω + 2, ωω + 12 + ω3 + ω22 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω3 + ω22 + ω + ω.

"ωω + 12 + ω3 + ω22 + ω2, ωω + 12 + ω3 + ω22 + ω2 + 1, ωω + 12 + ω3 + ω22 + ω2 + 2, ωω + 12 + ω3 + ω22 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω3 + ω22 + ω2 + ω.

"ωω + 12 + ω3 + ω22 + ω3, ωω + 12 + ω3 + ω22 + ω3 + 1, ωω + 12 + ω3 + ω22 + ω3 + 2, ωω + 12 + ω3 + ω22 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω3 + ω22 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω3 + ω22 + ω2.

"ωω + 12 + ω3 + ω23, ωω + 12 + ω3 + ω23 + 1, ωω + 12 + ω3 + ω23 + 2, ωω + 12 + ω3 + ω23 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω3 + ω23 + ω.

"ωω + 12 + ω3 + ω23 + ω, ωω + 12 + ω3 + ω23 + ω + 1, ωω + 12 + ω3 + ω23 + ω + 2, ωω + 12 + ω3 + ω23 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω3 + ω23 + ω + ω.

"ωω + 12 + ω3 + ω23 + ω2, ωω + 12 + ω3 + ω23 + ω2 + 1, ωω + 12 + ω3 + ω23 + ω2 + 2, ωω + 12 + ω3 + ω23 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω3 + ω23 + ω2 + ω.

"ωω + 12 + ω3 + ω23 + ω3, ωω + 12 + ω3 + ω23 + ω3 + 1, ωω + 12 + ω3 + ω23 + ω3 + 2, ωω + 12 + ω3 + ω23 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω3 + ω23 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω3 + ω23 + ω2.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω3 + ω3.

"ωω + 12 + ω32, ωω + 12 + ω32 + 1, ωω + 12 + ω32 + 2, ωω + 12 + ω32 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω32 + ω.

"ωω + 12 + ω32 + ω, ωω + 12 + ω32 + ω + 1, ωω + 12 + ω32 + ω + 2, ωω + 12 + ω32 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω32 + ω + ω.

"ωω + 12 + ω32 + ω2, ωω + 12 + ω32 + ω2 + 1, ωω + 12 + ω32 + ω2 + 2, ωω + 12 + ω32 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω32 + ω2 + ω.

"ωω + 12 + ω32 + ω3, ωω + 12 + ω32 + ω3 + 1, ωω + 12 + ω32 + ω3 + 2, ωω + 12 + ω32 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω32 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω32 + ω2.

"ωω + 12 + ω32 + ω2, ωω + 12 + ω32 + ω2 + 1, ωω + 12 + ω32 + ω2 + 2, ωω + 12 + ω32 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω32 + ω2 + ω.

"ωω + 12 + ω32 + ω2 + ω, ωω + 12 + ω32 + ω2 + ω + 1, ωω + 12 + ω32 + ω2 + ω + 2, ωω + 12 + ω32 + ω2 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω32 + ω2 + ω + ω.

"ωω + 12 + ω32 + ω2 + ω2, ωω + 12 + ω32 + ω2 + ω2 + 1, ωω + 12 + ω32 + ω2 + ω2 + 2, ωω + 12 + ω32 + ω2 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω32 + ω2 + ω2 + ω.

"ωω + 12 + ω32 + ω2 + ω3, ωω + 12 + ω32 + ω2 + ω3 + 1, ωω + 12 + ω32 + ω2 + ω3 + 2, ωω + 12 + ω32 + ω2 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω32 + ω2 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω32 + ω2 + ω2.

"ωω + 12 + ω32 + ω22, ωω + 12 + ω32 + ω22 + 1, ωω + 12 + ω32 + ω22 + 2, ωω + 12 + ω32 + ω22 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω32 + ω22 + ω.

"ωω + 12 + ω32 + ω22 + ω, ωω + 12 + ω32 + ω22 + ω + 1, ωω + 12 + ω32 + ω22 + ω + 2, ωω + 12 + ω32 + ω22 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω32 + ω22 + ω + ω.

"ωω + 12 + ω32 + ω22 + ω2, ωω + 12 + ω32 + ω22 + ω2 + 1, ωω + 12 + ω32 + ω22 + ω2 + 2, ωω + 12 + ω32 + ω22 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω32 + ω22 + ω2 + ω.

"ωω + 12 + ω32 + ω22 + ω3, ωω + 12 + ω32 + ω22 + ω3 + 1, ωω + 12 + ω32 + ω22 + ω3 + 2, ωω + 12 + ω32 + ω22 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω32 + ω22 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω32 + ω22 + ω2.

"ωω + 12 + ω32 + ω23, ωω + 12 + ω32 + ω23 + 1, ωω + 12 + ω32 + ω23 + 2, ωω + 12 + ω32 + ω23 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω32 + ω23 + ω.

"ωω + 12 + ω32 + ω23 + ω, ωω + 12 + ω32 + ω23 + ω + 1, ωω + 12 + ω32 + ω23 + ω + 2, ωω + 12 + ω32 + ω23 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω32 + ω23 + ω + ω.

"ωω + 12 + ω32 + ω23 + ω2, ωω + 12 + ω32 + ω23 + ω2 + 1, ωω + 12 + ω32 + ω23 + ω2 + 2, ωω + 12 + ω32 + ω23 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω32 + ω23 + ω2 + ω.

"ωω + 12 + ω32 + ω23 + ω3, ωω + 12 + ω32 + ω23 + ω3 + 1, ωω + 12 + ω32 + ω23 + ω3 + 2, ωω + 12 + ω32 + ω23 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω32 + ω23 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω32 + ω23 + ω2.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω32 + ω3.

"ωω + 12 + ω33, ωω + 12 + ω33 + 1, ωω + 12 + ω33 + 2, ωω + 12 + ω33 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω33 + ω.

"ωω + 12 + ω33 + ω, ωω + 12 + ω33 + ω + 1, ωω + 12 + ω33 + ω + 2, ωω + 12 + ω33 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω33 + ω + ω.

"ωω + 12 + ω33 + ω2, ωω + 12 + ω33 + ω2 + 1, ωω + 12 + ω33 + ω2 + 2, ωω + 12 + ω33 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω33 + ω2 + ω.

"ωω + 12 + ω33 + ω3, ωω + 12 + ω33 + ω3 + 1, ωω + 12 + ω33 + ω3 + 2, ωω + 12 + ω33 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω33 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω33 + ω2.

"ωω + 12 + ω33 + ω2, ωω + 12 + ω33 + ω2 + 1, ωω + 12 + ω33 + ω2 + 2, ωω + 12 + ω33 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω33 + ω2 + ω.

"ωω + 12 + ω33 + ω2 + ω, ωω + 12 + ω33 + ω2 + ω + 1, ωω + 12 + ω33 + ω2 + ω + 2, ωω + 12 + ω33 + ω2 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω33 + ω2 + ω + ω.

"ωω + 12 + ω33 + ω2 + ω2, ωω + 12 + ω33 + ω2 + ω2 + 1, ωω + 12 + ω33 + ω2 + ω2 + 2, ωω + 12 + ω33 + ω2 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω33 + ω2 + ω2 + ω.

"ωω + 12 + ω33 + ω2 + ω3, ωω + 12 + ω33 + ω2 + ω3 + 1, ωω + 12 + ω33 + ω2 + ω3 + 2, ωω + 12 + ω33 + ω2 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω33 + ω2 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω33 + ω2 + ω2.

"ωω + 12 + ω33 + ω22, ωω + 12 + ω33 + ω22 + 1, ωω + 12 + ω33 + ω22 + 2, ωω + 12 + ω33 + ω22 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω33 + ω22 + ω.

"ωω + 12 + ω33 + ω22 + ω, ωω + 12 + ω33 + ω22 + ω + 1, ωω + 12 + ω33 + ω22 + ω + 2, ωω + 12 + ω33 + ω22 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω33 + ω22 + ω + ω.

"ωω + 12 + ω33 + ω22 + ω2, ωω + 12 + ω33 + ω22 + ω2 + 1, ωω + 12 + ω33 + ω22 + ω2 + 2, ωω + 12 + ω33 + ω22 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω33 + ω22 + ω2 + ω.

"ωω + 12 + ω33 + ω22 + ω3, ωω + 12 + ω33 + ω22 + ω3 + 1, ωω + 12 + ω33 + ω22 + ω3 + 2, ωω + 12 + ω33 + ω22 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω33 + ω22 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω33 + ω22 + ω2.

"ωω + 12 + ω33 + ω23, ωω + 12 + ω33 + ω23 + 1, ωω + 12 + ω33 + ω23 + 2, ωω + 12 + ω33 + ω23 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω33 + ω23 + ω.

"ωω + 12 + ω33 + ω23 + ω, ωω + 12 + ω33 + ω23 + ω + 1, ωω + 12 + ω33 + ω23 + ω + 2, ωω + 12 + ω33 + ω23 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω33 + ω23 + ω + ω.

"ωω + 12 + ω33 + ω23 + ω2, ωω + 12 + ω33 + ω23 + ω2 + 1, ωω + 12 + ω33 + ω23 + ω2 + 2, ωω + 12 + ω33 + ω23 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω33 + ω23 + ω2 + ω.

"ωω + 12 + ω33 + ω23 + ω3, ωω + 12 + ω33 + ω23 + ω3 + 1, ωω + 12 + ω33 + ω23 + ω3 + 2, ωω + 12 + ω33 + ω23 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω33 + ω23 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω33 + ω23 + ω2.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 12 + ω33 + ω3.

"ωω + 13, ωω + 13 + 1, ωω + 13 + 2, ωω + 13 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω.

"ωω + 13 + ω, ωω + 13 + ω + 1, ωω + 13 + ω + 2, ωω + 13 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω + ω.

"ωω + 13 + ω2, ωω + 13 + ω2 + 1, ωω + 13 + ω2 + 2, ωω + 13 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω2 + ω.

"ωω + 13 + ω3, ωω + 13 + ω3 + 1, ωω + 13 + ω3 + 2, ωω + 13 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω2.

"ωω + 13 + ω2, ωω + 13 + ω2 + 1, ωω + 13 + ω2 + 2, ωω + 13 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω2 + ω.

"ωω + 13 + ω2 + ω, ωω + 13 + ω2 + ω + 1, ωω + 13 + ω2 + ω + 2, ωω + 13 + ω2 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω2 + ω + ω.

"ωω + 13 + ω2 + ω2, ωω + 13 + ω2 + ω2 + 1, ωω + 13 + ω2 + ω2 + 2, ωω + 13 + ω2 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω2 + ω2 + ω.

"ωω + 13 + ω2 + ω3, ωω + 13 + ω2 + ω3 + 1, ωω + 13 + ω2 + ω3 + 2, ωω + 13 + ω2 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω2 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω2 + ω2.

"ωω + 13 + ω22, ωω + 13 + ω22 + 1, ωω + 13 + ω22 + 2, ωω + 13 + ω22 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω22 + ω.

"ωω + 13 + ω22 + ω, ωω + 13 + ω22 + ω + 1, ωω + 13 + ω22 + ω + 2, ωω + 13 + ω22 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω22 + ω + ω.

"ωω + 13 + ω22 + ω2, ωω + 13 + ω22 + ω2 + 1, ωω + 13 + ω22 + ω2 + 2, ωω + 13 + ω22 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω22 + ω2 + ω.

"ωω + 13 + ω22 + ω3, ωω + 13 + ω22 + ω3 + 1, ωω + 13 + ω22 + ω3 + 2, ωω + 13 + ω22 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω22 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω22 + ω2.

"ωω + 13 + ω23, ωω + 13 + ω23 + 1, ωω + 13 + ω23 + 2, ωω + 13 + ω23 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω23 + ω.

"ωω + 13 + ω23 + ω, ωω + 13 + ω23 + ω + 1, ωω + 13 + ω23 + ω + 2, ωω + 13 + ω23 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω23 + ω + ω.

"ωω + 13 + ω23 + ω2, ωω + 13 + ω23 + ω2 + 1, ωω + 13 + ω23 + ω2 + 2, ωω + 13 + ω23 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω23 + ω2 + ω.

"ωω + 13 + ω23 + ω3, ωω + 13 + ω23 + ω3 + 1, ωω + 13 + ω23 + ω3 + 2, ωω + 13 + ω23 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω23 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω23 + ω2.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω3.

"ωω + 13 + ω3, ωω + 13 + ω3 + 1, ωω + 13 + ω3 + 2, ωω + 13 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω3 + ω.

"ωω + 13 + ω3 + ω, ωω + 13 + ω3 + ω + 1, ωω + 13 + ω3 + ω + 2, ωω + 13 + ω3 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω3 + ω + ω.

"ωω + 13 + ω3 + ω2, ωω + 13 + ω3 + ω2 + 1, ωω + 13 + ω3 + ω2 + 2, ωω + 13 + ω3 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω3 + ω2 + ω.

"ωω + 13 + ω3 + ω3, ωω + 13 + ω3 + ω3 + 1, ωω + 13 + ω3 + ω3 + 2, ωω + 13 + ω3 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω3 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω3 + ω2.

"ωω + 13 + ω3 + ω2, ωω + 13 + ω3 + ω2 + 1, ωω + 13 + ω3 + ω2 + 2, ωω + 13 + ω3 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω3 + ω2 + ω.

"ωω + 13 + ω3 + ω2 + ω, ωω + 13 + ω3 + ω2 + ω + 1, ωω + 13 + ω3 + ω2 + ω + 2, ωω + 13 + ω3 + ω2 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω3 + ω2 + ω + ω.

"ωω + 13 + ω3 + ω2 + ω2, ωω + 13 + ω3 + ω2 + ω2 + 1, ωω + 13 + ω3 + ω2 + ω2 + 2, ωω + 13 + ω3 + ω2 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω3 + ω2 + ω2 + ω.

"ωω + 13 + ω3 + ω2 + ω3, ωω + 13 + ω3 + ω2 + ω3 + 1, ωω + 13 + ω3 + ω2 + ω3 + 2, ωω + 13 + ω3 + ω2 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω3 + ω2 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω3 + ω2 + ω2.

"ωω + 13 + ω3 + ω22, ωω + 13 + ω3 + ω22 + 1, ωω + 13 + ω3 + ω22 + 2, ωω + 13 + ω3 + ω22 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω3 + ω22 + ω.

"ωω + 13 + ω3 + ω22 + ω, ωω + 13 + ω3 + ω22 + ω + 1, ωω + 13 + ω3 + ω22 + ω + 2, ωω + 13 + ω3 + ω22 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω3 + ω22 + ω + ω.

"ωω + 13 + ω3 + ω22 + ω2, ωω + 13 + ω3 + ω22 + ω2 + 1, ωω + 13 + ω3 + ω22 + ω2 + 2, ωω + 13 + ω3 + ω22 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω3 + ω22 + ω2 + ω.

"ωω + 13 + ω3 + ω22 + ω3, ωω + 13 + ω3 + ω22 + ω3 + 1, ωω + 13 + ω3 + ω22 + ω3 + 2, ωω + 13 + ω3 + ω22 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω3 + ω22 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω3 + ω22 + ω2.

"ωω + 13 + ω3 + ω23, ωω + 13 + ω3 + ω23 + 1, ωω + 13 + ω3 + ω23 + 2, ωω + 13 + ω3 + ω23 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω3 + ω23 + ω.

"ωω + 13 + ω3 + ω23 + ω, ωω + 13 + ω3 + ω23 + ω + 1, ωω + 13 + ω3 + ω23 + ω + 2, ωω + 13 + ω3 + ω23 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω3 + ω23 + ω + ω.

"ωω + 13 + ω3 + ω23 + ω2, ωω + 13 + ω3 + ω23 + ω2 + 1, ωω + 13 + ω3 + ω23 + ω2 + 2, ωω + 13 + ω3 + ω23 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω3 + ω23 + ω2 + ω.

"ωω + 13 + ω3 + ω23 + ω3, ωω + 13 + ω3 + ω23 + ω3 + 1, ωω + 13 + ω3 + ω23 + ω3 + 2, ωω + 13 + ω3 + ω23 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω3 + ω23 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω3 + ω23 + ω2.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω3 + ω3.

"ωω + 13 + ω32, ωω + 13 + ω32 + 1, ωω + 13 + ω32 + 2, ωω + 13 + ω32 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω32 + ω.

"ωω + 13 + ω32 + ω, ωω + 13 + ω32 + ω + 1, ωω + 13 + ω32 + ω + 2, ωω + 13 + ω32 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω32 + ω + ω.

"ωω + 13 + ω32 + ω2, ωω + 13 + ω32 + ω2 + 1, ωω + 13 + ω32 + ω2 + 2, ωω + 13 + ω32 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω32 + ω2 + ω.

"ωω + 13 + ω32 + ω3, ωω + 13 + ω32 + ω3 + 1, ωω + 13 + ω32 + ω3 + 2, ωω + 13 + ω32 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω32 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω32 + ω2.

"ωω + 13 + ω32 + ω2, ωω + 13 + ω32 + ω2 + 1, ωω + 13 + ω32 + ω2 + 2, ωω + 13 + ω32 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω32 + ω2 + ω.

"ωω + 13 + ω32 + ω2 + ω, ωω + 13 + ω32 + ω2 + ω + 1, ωω + 13 + ω32 + ω2 + ω + 2, ωω + 13 + ω32 + ω2 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω32 + ω2 + ω + ω.

"ωω + 13 + ω32 + ω2 + ω2, ωω + 13 + ω32 + ω2 + ω2 + 1, ωω + 13 + ω32 + ω2 + ω2 + 2, ωω + 13 + ω32 + ω2 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω32 + ω2 + ω2 + ω.

"ωω + 13 + ω32 + ω2 + ω3, ωω + 13 + ω32 + ω2 + ω3 + 1, ωω + 13 + ω32 + ω2 + ω3 + 2, ωω + 13 + ω32 + ω2 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω32 + ω2 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω32 + ω2 + ω2.

"ωω + 13 + ω32 + ω22, ωω + 13 + ω32 + ω22 + 1, ωω + 13 + ω32 + ω22 + 2, ωω + 13 + ω32 + ω22 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω32 + ω22 + ω.

"ωω + 13 + ω32 + ω22 + ω, ωω + 13 + ω32 + ω22 + ω + 1, ωω + 13 + ω32 + ω22 + ω + 2, ωω + 13 + ω32 + ω22 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω32 + ω22 + ω + ω.

"ωω + 13 + ω32 + ω22 + ω2, ωω + 13 + ω32 + ω22 + ω2 + 1, ωω + 13 + ω32 + ω22 + ω2 + 2, ωω + 13 + ω32 + ω22 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω32 + ω22 + ω2 + ω.

"ωω + 13 + ω32 + ω22 + ω3, ωω + 13 + ω32 + ω22 + ω3 + 1, ωω + 13 + ω32 + ω22 + ω3 + 2, ωω + 13 + ω32 + ω22 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω32 + ω22 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω32 + ω22 + ω2.

"ωω + 13 + ω32 + ω23, ωω + 13 + ω32 + ω23 + 1, ωω + 13 + ω32 + ω23 + 2, ωω + 13 + ω32 + ω23 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω32 + ω23 + ω.

"ωω + 13 + ω32 + ω23 + ω, ωω + 13 + ω32 + ω23 + ω + 1, ωω + 13 + ω32 + ω23 + ω + 2, ωω + 13 + ω32 + ω23 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω32 + ω23 + ω + ω.

"ωω + 13 + ω32 + ω23 + ω2, ωω + 13 + ω32 + ω23 + ω2 + 1, ωω + 13 + ω32 + ω23 + ω2 + 2, ωω + 13 + ω32 + ω23 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω32 + ω23 + ω2 + ω.

"ωω + 13 + ω32 + ω23 + ω3, ωω + 13 + ω32 + ω23 + ω3 + 1, ωω + 13 + ω32 + ω23 + ω3 + 2, ωω + 13 + ω32 + ω23 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω32 + ω23 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω32 + ω23 + ω2.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω32 + ω3.

"ωω + 13 + ω33, ωω + 13 + ω33 + 1, ωω + 13 + ω33 + 2, ωω + 13 + ω33 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω33 + ω.

"ωω + 13 + ω33 + ω, ωω + 13 + ω33 + ω + 1, ωω + 13 + ω33 + ω + 2, ωω + 13 + ω33 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω33 + ω + ω.

"ωω + 13 + ω33 + ω2, ωω + 13 + ω33 + ω2 + 1, ωω + 13 + ω33 + ω2 + 2, ωω + 13 + ω33 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω33 + ω2 + ω.

"ωω + 13 + ω33 + ω3, ωω + 13 + ω33 + ω3 + 1, ωω + 13 + ω33 + ω3 + 2, ωω + 13 + ω33 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω33 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω33 + ω2.

"ωω + 13 + ω33 + ω2, ωω + 13 + ω33 + ω2 + 1, ωω + 13 + ω33 + ω2 + 2, ωω + 13 + ω33 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω33 + ω2 + ω.

"ωω + 13 + ω33 + ω2 + ω, ωω + 13 + ω33 + ω2 + ω + 1, ωω + 13 + ω33 + ω2 + ω + 2, ωω + 13 + ω33 + ω2 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω33 + ω2 + ω + ω.

"ωω + 13 + ω33 + ω2 + ω2, ωω + 13 + ω33 + ω2 + ω2 + 1, ωω + 13 + ω33 + ω2 + ω2 + 2, ωω + 13 + ω33 + ω2 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω33 + ω2 + ω2 + ω.

"ωω + 13 + ω33 + ω2 + ω3, ωω + 13 + ω33 + ω2 + ω3 + 1, ωω + 13 + ω33 + ω2 + ω3 + 2, ωω + 13 + ω33 + ω2 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω33 + ω2 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω33 + ω2 + ω2.

"ωω + 13 + ω33 + ω22, ωω + 13 + ω33 + ω22 + 1, ωω + 13 + ω33 + ω22 + 2, ωω + 13 + ω33 + ω22 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω33 + ω22 + ω.

"ωω + 13 + ω33 + ω22 + ω, ωω + 13 + ω33 + ω22 + ω + 1, ωω + 13 + ω33 + ω22 + ω + 2, ωω + 13 + ω33 + ω22 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω33 + ω22 + ω + ω.

"ωω + 13 + ω33 + ω22 + ω2, ωω + 13 + ω33 + ω22 + ω2 + 1, ωω + 13 + ω33 + ω22 + ω2 + 2, ωω + 13 + ω33 + ω22 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω33 + ω22 + ω2 + ω.

"ωω + 13 + ω33 + ω22 + ω3, ωω + 13 + ω33 + ω22 + ω3 + 1, ωω + 13 + ω33 + ω22 + ω3 + 2, ωω + 13 + ω33 + ω22 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω33 + ω22 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω33 + ω22 + ω2.

"ωω + 13 + ω33 + ω23, ωω + 13 + ω33 + ω23 + 1, ωω + 13 + ω33 + ω23 + 2, ωω + 13 + ω33 + ω23 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω33 + ω23 + ω.

"ωω + 13 + ω33 + ω23 + ω, ωω + 13 + ω33 + ω23 + ω + 1, ωω + 13 + ω33 + ω23 + ω + 2, ωω + 13 + ω33 + ω23 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω33 + ω23 + ω + ω.

"ωω + 13 + ω33 + ω23 + ω2, ωω + 13 + ω33 + ω23 + ω2 + 1, ωω + 13 + ω33 + ω23 + ω2 + 2, ωω + 13 + ω33 + ω23 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω33 + ω23 + ω2 + ω.

"ωω + 13 + ω33 + ω23 + ω3, ωω + 13 + ω33 + ω23 + ω3 + 1, ωω + 13 + ω33 + ω23 + ω3 + 2, ωω + 13 + ω33 + ω23 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω33 + ω23 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω33 + ω23 + ω2.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 13 + ω33 + ω3.

"ωω + 2, ωω + 2 + 1, ωω + 2 + 2, ωω + 2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω.

"ωω + 2 + ω, ωω + 2 + ω + 1, ωω + 2 + ω + 2, ωω + 2 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω + ω.

"ωω + 2 + ω2, ωω + 2 + ω2 + 1, ωω + 2 + ω2 + 2, ωω + 2 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω2 + ω.

"ωω + 2 + ω3, ωω + 2 + ω3 + 1, ωω + 2 + ω3 + 2, ωω + 2 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω2.

"ωω + 2 + ω2, ωω + 2 + ω2 + 1, ωω + 2 + ω2 + 2, ωω + 2 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω2 + ω.

"ωω + 2 + ω2 + ω, ωω + 2 + ω2 + ω + 1, ωω + 2 + ω2 + ω + 2, ωω + 2 + ω2 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω2 + ω + ω.

"ωω + 2 + ω2 + ω2, ωω + 2 + ω2 + ω2 + 1, ωω + 2 + ω2 + ω2 + 2, ωω + 2 + ω2 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω2 + ω2 + ω.

"ωω + 2 + ω2 + ω3, ωω + 2 + ω2 + ω3 + 1, ωω + 2 + ω2 + ω3 + 2, ωω + 2 + ω2 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω2 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω2 + ω2.

"ωω + 2 + ω22, ωω + 2 + ω22 + 1, ωω + 2 + ω22 + 2, ωω + 2 + ω22 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω22 + ω.

"ωω + 2 + ω22 + ω, ωω + 2 + ω22 + ω + 1, ωω + 2 + ω22 + ω + 2, ωω + 2 + ω22 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω22 + ω + ω.

"ωω + 2 + ω22 + ω2, ωω + 2 + ω22 + ω2 + 1, ωω + 2 + ω22 + ω2 + 2, ωω + 2 + ω22 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω22 + ω2 + ω.

"ωω + 2 + ω22 + ω3, ωω + 2 + ω22 + ω3 + 1, ωω + 2 + ω22 + ω3 + 2, ωω + 2 + ω22 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω22 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω22 + ω2.

"ωω + 2 + ω23, ωω + 2 + ω23 + 1, ωω + 2 + ω23 + 2, ωω + 2 + ω23 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω23 + ω.

"ωω + 2 + ω23 + ω, ωω + 2 + ω23 + ω + 1, ωω + 2 + ω23 + ω + 2, ωω + 2 + ω23 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω23 + ω + ω.

"ωω + 2 + ω23 + ω2, ωω + 2 + ω23 + ω2 + 1, ωω + 2 + ω23 + ω2 + 2, ωω + 2 + ω23 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω23 + ω2 + ω.

"ωω + 2 + ω23 + ω3, ωω + 2 + ω23 + ω3 + 1, ωω + 2 + ω23 + ω3 + 2, ωω + 2 + ω23 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω23 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω23 + ω2.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω3.

"ωω + 2 + ω3, ωω + 2 + ω3 + 1, ωω + 2 + ω3 + 2, ωω + 2 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω3 + ω.

"ωω + 2 + ω3 + ω, ωω + 2 + ω3 + ω + 1, ωω + 2 + ω3 + ω + 2, ωω + 2 + ω3 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω3 + ω + ω.

"ωω + 2 + ω3 + ω2, ωω + 2 + ω3 + ω2 + 1, ωω + 2 + ω3 + ω2 + 2, ωω + 2 + ω3 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω3 + ω2 + ω.

"ωω + 2 + ω3 + ω3, ωω + 2 + ω3 + ω3 + 1, ωω + 2 + ω3 + ω3 + 2, ωω + 2 + ω3 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω3 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω3 + ω2.

"ωω + 2 + ω3 + ω2, ωω + 2 + ω3 + ω2 + 1, ωω + 2 + ω3 + ω2 + 2, ωω + 2 + ω3 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω3 + ω2 + ω.

"ωω + 2 + ω3 + ω2 + ω, ωω + 2 + ω3 + ω2 + ω + 1, ωω + 2 + ω3 + ω2 + ω + 2, ωω + 2 + ω3 + ω2 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω3 + ω2 + ω + ω.

"ωω + 2 + ω3 + ω2 + ω2, ωω + 2 + ω3 + ω2 + ω2 + 1, ωω + 2 + ω3 + ω2 + ω2 + 2, ωω + 2 + ω3 + ω2 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω3 + ω2 + ω2 + ω.

"ωω + 2 + ω3 + ω2 + ω3, ωω + 2 + ω3 + ω2 + ω3 + 1, ωω + 2 + ω3 + ω2 + ω3 + 2, ωω + 2 + ω3 + ω2 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω3 + ω2 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω3 + ω2 + ω2.

"ωω + 2 + ω3 + ω22, ωω + 2 + ω3 + ω22 + 1, ωω + 2 + ω3 + ω22 + 2, ωω + 2 + ω3 + ω22 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω3 + ω22 + ω.

"ωω + 2 + ω3 + ω22 + ω, ωω + 2 + ω3 + ω22 + ω + 1, ωω + 2 + ω3 + ω22 + ω + 2, ωω + 2 + ω3 + ω22 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω3 + ω22 + ω + ω.

"ωω + 2 + ω3 + ω22 + ω2, ωω + 2 + ω3 + ω22 + ω2 + 1, ωω + 2 + ω3 + ω22 + ω2 + 2, ωω + 2 + ω3 + ω22 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω3 + ω22 + ω2 + ω.

"ωω + 2 + ω3 + ω22 + ω3, ωω + 2 + ω3 + ω22 + ω3 + 1, ωω + 2 + ω3 + ω22 + ω3 + 2, ωω + 2 + ω3 + ω22 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω3 + ω22 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω3 + ω22 + ω2.

"ωω + 2 + ω3 + ω23, ωω + 2 + ω3 + ω23 + 1, ωω + 2 + ω3 + ω23 + 2, ωω + 2 + ω3 + ω23 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω3 + ω23 + ω.

"ωω + 2 + ω3 + ω23 + ω, ωω + 2 + ω3 + ω23 + ω + 1, ωω + 2 + ω3 + ω23 + ω + 2, ωω + 2 + ω3 + ω23 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω3 + ω23 + ω + ω.

"ωω + 2 + ω3 + ω23 + ω2, ωω + 2 + ω3 + ω23 + ω2 + 1, ωω + 2 + ω3 + ω23 + ω2 + 2, ωω + 2 + ω3 + ω23 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω3 + ω23 + ω2 + ω.

"ωω + 2 + ω3 + ω23 + ω3, ωω + 2 + ω3 + ω23 + ω3 + 1, ωω + 2 + ω3 + ω23 + ω3 + 2, ωω + 2 + ω3 + ω23 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω3 + ω23 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω3 + ω23 + ω2.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω3 + ω3.

"ωω + 2 + ω32, ωω + 2 + ω32 + 1, ωω + 2 + ω32 + 2, ωω + 2 + ω32 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω32 + ω.

"ωω + 2 + ω32 + ω, ωω + 2 + ω32 + ω + 1, ωω + 2 + ω32 + ω + 2, ωω + 2 + ω32 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω32 + ω + ω.

"ωω + 2 + ω32 + ω2, ωω + 2 + ω32 + ω2 + 1, ωω + 2 + ω32 + ω2 + 2, ωω + 2 + ω32 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω32 + ω2 + ω.

"ωω + 2 + ω32 + ω3, ωω + 2 + ω32 + ω3 + 1, ωω + 2 + ω32 + ω3 + 2, ωω + 2 + ω32 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω32 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω32 + ω2.

"ωω + 2 + ω32 + ω2, ωω + 2 + ω32 + ω2 + 1, ωω + 2 + ω32 + ω2 + 2, ωω + 2 + ω32 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω32 + ω2 + ω.

"ωω + 2 + ω32 + ω2 + ω, ωω + 2 + ω32 + ω2 + ω + 1, ωω + 2 + ω32 + ω2 + ω + 2, ωω + 2 + ω32 + ω2 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω32 + ω2 + ω + ω.

"ωω + 2 + ω32 + ω2 + ω2, ωω + 2 + ω32 + ω2 + ω2 + 1, ωω + 2 + ω32 + ω2 + ω2 + 2, ωω + 2 + ω32 + ω2 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω32 + ω2 + ω2 + ω.

"ωω + 2 + ω32 + ω2 + ω3, ωω + 2 + ω32 + ω2 + ω3 + 1, ωω + 2 + ω32 + ω2 + ω3 + 2, ωω + 2 + ω32 + ω2 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω32 + ω2 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω32 + ω2 + ω2.

"ωω + 2 + ω32 + ω22, ωω + 2 + ω32 + ω22 + 1, ωω + 2 + ω32 + ω22 + 2, ωω + 2 + ω32 + ω22 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω32 + ω22 + ω.

"ωω + 2 + ω32 + ω22 + ω, ωω + 2 + ω32 + ω22 + ω + 1, ωω + 2 + ω32 + ω22 + ω + 2, ωω + 2 + ω32 + ω22 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω32 + ω22 + ω + ω.

"ωω + 2 + ω32 + ω22 + ω2, ωω + 2 + ω32 + ω22 + ω2 + 1, ωω + 2 + ω32 + ω22 + ω2 + 2, ωω + 2 + ω32 + ω22 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω32 + ω22 + ω2 + ω.

"ωω + 2 + ω32 + ω22 + ω3, ωω + 2 + ω32 + ω22 + ω3 + 1, ωω + 2 + ω32 + ω22 + ω3 + 2, ωω + 2 + ω32 + ω22 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω32 + ω22 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω32 + ω22 + ω2.

"ωω + 2 + ω32 + ω23, ωω + 2 + ω32 + ω23 + 1, ωω + 2 + ω32 + ω23 + 2, ωω + 2 + ω32 + ω23 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω32 + ω23 + ω.

"ωω + 2 + ω32 + ω23 + ω, ωω + 2 + ω32 + ω23 + ω + 1, ωω + 2 + ω32 + ω23 + ω + 2, ωω + 2 + ω32 + ω23 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω32 + ω23 + ω + ω.

"ωω + 2 + ω32 + ω23 + ω2, ωω + 2 + ω32 + ω23 + ω2 + 1, ωω + 2 + ω32 + ω23 + ω2 + 2, ωω + 2 + ω32 + ω23 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω32 + ω23 + ω2 + ω.

"ωω + 2 + ω32 + ω23 + ω3, ωω + 2 + ω32 + ω23 + ω3 + 1, ωω + 2 + ω32 + ω23 + ω3 + 2, ωω + 2 + ω32 + ω23 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω32 + ω23 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω32 + ω23 + ω2.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω32 + ω3.

"ωω + 2 + ω33, ωω + 2 + ω33 + 1, ωω + 2 + ω33 + 2, ωω + 2 + ω33 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω33 + ω.

"ωω + 2 + ω33 + ω, ωω + 2 + ω33 + ω + 1, ωω + 2 + ω33 + ω + 2, ωω + 2 + ω33 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω33 + ω + ω.

"ωω + 2 + ω33 + ω2, ωω + 2 + ω33 + ω2 + 1, ωω + 2 + ω33 + ω2 + 2, ωω + 2 + ω33 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω33 + ω2 + ω.

"ωω + 2 + ω33 + ω3, ωω + 2 + ω33 + ω3 + 1, ωω + 2 + ω33 + ω3 + 2, ωω + 2 + ω33 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω33 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω33 + ω2.

"ωω + 2 + ω33 + ω2, ωω + 2 + ω33 + ω2 + 1, ωω + 2 + ω33 + ω2 + 2, ωω + 2 + ω33 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω33 + ω2 + ω.

"ωω + 2 + ω33 + ω2 + ω, ωω + 2 + ω33 + ω2 + ω + 1, ωω + 2 + ω33 + ω2 + ω + 2, ωω + 2 + ω33 + ω2 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω33 + ω2 + ω + ω.

"ωω + 2 + ω33 + ω2 + ω2, ωω + 2 + ω33 + ω2 + ω2 + 1, ωω + 2 + ω33 + ω2 + ω2 + 2, ωω + 2 + ω33 + ω2 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω33 + ω2 + ω2 + ω.

"ωω + 2 + ω33 + ω2 + ω3, ωω + 2 + ω33 + ω2 + ω3 + 1, ωω + 2 + ω33 + ω2 + ω3 + 2, ωω + 2 + ω33 + ω2 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω33 + ω2 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω33 + ω2 + ω2.

"ωω + 2 + ω33 + ω22, ωω + 2 + ω33 + ω22 + 1, ωω + 2 + ω33 + ω22 + 2, ωω + 2 + ω33 + ω22 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω33 + ω22 + ω.

"ωω + 2 + ω33 + ω22 + ω, ωω + 2 + ω33 + ω22 + ω + 1, ωω + 2 + ω33 + ω22 + ω + 2, ωω + 2 + ω33 + ω22 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω33 + ω22 + ω + ω.

"ωω + 2 + ω33 + ω22 + ω2, ωω + 2 + ω33 + ω22 + ω2 + 1, ωω + 2 + ω33 + ω22 + ω2 + 2, ωω + 2 + ω33 + ω22 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω33 + ω22 + ω2 + ω.

"ωω + 2 + ω33 + ω22 + ω3, ωω + 2 + ω33 + ω22 + ω3 + 1, ωω + 2 + ω33 + ω22 + ω3 + 2, ωω + 2 + ω33 + ω22 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω33 + ω22 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω33 + ω22 + ω2.

"ωω + 2 + ω33 + ω23, ωω + 2 + ω33 + ω23 + 1, ωω + 2 + ω33 + ω23 + 2, ωω + 2 + ω33 + ω23 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω33 + ω23 + ω.

"ωω + 2 + ω33 + ω23 + ω, ωω + 2 + ω33 + ω23 + ω + 1, ωω + 2 + ω33 + ω23 + ω + 2, ωω + 2 + ω33 + ω23 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω33 + ω23 + ω + ω.

"ωω + 2 + ω33 + ω23 + ω2, ωω + 2 + ω33 + ω23 + ω2 + 1, ωω + 2 + ω33 + ω23 + ω2 + 2, ωω + 2 + ω33 + ω23 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω33 + ω23 + ω2 + ω.

"ωω + 2 + ω33 + ω23 + ω3, ωω + 2 + ω33 + ω23 + ω3 + 1, ωω + 2 + ω33 + ω23 + ω3 + 2, ωω + 2 + ω33 + ω23 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω33 + ω23 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω33 + ω23 + ω2.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 2 + ω33 + ω3.

"ωω + 22, ωω + 22 + 1, ωω + 22 + 2, ωω + 22 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω.

"ωω + 22 + ω, ωω + 22 + ω + 1, ωω + 22 + ω + 2, ωω + 22 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω + ω.

"ωω + 22 + ω2, ωω + 22 + ω2 + 1, ωω + 22 + ω2 + 2, ωω + 22 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω2 + ω.

"ωω + 22 + ω3, ωω + 22 + ω3 + 1, ωω + 22 + ω3 + 2, ωω + 22 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω2.

"ωω + 22 + ω2, ωω + 22 + ω2 + 1, ωω + 22 + ω2 + 2, ωω + 22 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω2 + ω.

"ωω + 22 + ω2 + ω, ωω + 22 + ω2 + ω + 1, ωω + 22 + ω2 + ω + 2, ωω + 22 + ω2 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω2 + ω + ω.

"ωω + 22 + ω2 + ω2, ωω + 22 + ω2 + ω2 + 1, ωω + 22 + ω2 + ω2 + 2, ωω + 22 + ω2 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω2 + ω2 + ω.

"ωω + 22 + ω2 + ω3, ωω + 22 + ω2 + ω3 + 1, ωω + 22 + ω2 + ω3 + 2, ωω + 22 + ω2 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω2 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω2 + ω2.

"ωω + 22 + ω22, ωω + 22 + ω22 + 1, ωω + 22 + ω22 + 2, ωω + 22 + ω22 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω22 + ω.

"ωω + 22 + ω22 + ω, ωω + 22 + ω22 + ω + 1, ωω + 22 + ω22 + ω + 2, ωω + 22 + ω22 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω22 + ω + ω.

"ωω + 22 + ω22 + ω2, ωω + 22 + ω22 + ω2 + 1, ωω + 22 + ω22 + ω2 + 2, ωω + 22 + ω22 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω22 + ω2 + ω.

"ωω + 22 + ω22 + ω3, ωω + 22 + ω22 + ω3 + 1, ωω + 22 + ω22 + ω3 + 2, ωω + 22 + ω22 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω22 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω22 + ω2.

"ωω + 22 + ω23, ωω + 22 + ω23 + 1, ωω + 22 + ω23 + 2, ωω + 22 + ω23 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω23 + ω.

"ωω + 22 + ω23 + ω, ωω + 22 + ω23 + ω + 1, ωω + 22 + ω23 + ω + 2, ωω + 22 + ω23 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω23 + ω + ω.

"ωω + 22 + ω23 + ω2, ωω + 22 + ω23 + ω2 + 1, ωω + 22 + ω23 + ω2 + 2, ωω + 22 + ω23 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω23 + ω2 + ω.

"ωω + 22 + ω23 + ω3, ωω + 22 + ω23 + ω3 + 1, ωω + 22 + ω23 + ω3 + 2, ωω + 22 + ω23 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω23 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω23 + ω2.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω3.

"ωω + 22 + ω3, ωω + 22 + ω3 + 1, ωω + 22 + ω3 + 2, ωω + 22 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω3 + ω.

"ωω + 22 + ω3 + ω, ωω + 22 + ω3 + ω + 1, ωω + 22 + ω3 + ω + 2, ωω + 22 + ω3 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω3 + ω + ω.

"ωω + 22 + ω3 + ω2, ωω + 22 + ω3 + ω2 + 1, ωω + 22 + ω3 + ω2 + 2, ωω + 22 + ω3 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω3 + ω2 + ω.

"ωω + 22 + ω3 + ω3, ωω + 22 + ω3 + ω3 + 1, ωω + 22 + ω3 + ω3 + 2, ωω + 22 + ω3 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω3 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω3 + ω2.

"ωω + 22 + ω3 + ω2, ωω + 22 + ω3 + ω2 + 1, ωω + 22 + ω3 + ω2 + 2, ωω + 22 + ω3 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω3 + ω2 + ω.

"ωω + 22 + ω3 + ω2 + ω, ωω + 22 + ω3 + ω2 + ω + 1, ωω + 22 + ω3 + ω2 + ω + 2, ωω + 22 + ω3 + ω2 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω3 + ω2 + ω + ω.

"ωω + 22 + ω3 + ω2 + ω2, ωω + 22 + ω3 + ω2 + ω2 + 1, ωω + 22 + ω3 + ω2 + ω2 + 2, ωω + 22 + ω3 + ω2 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω3 + ω2 + ω2 + ω.

"ωω + 22 + ω3 + ω2 + ω3, ωω + 22 + ω3 + ω2 + ω3 + 1, ωω + 22 + ω3 + ω2 + ω3 + 2, ωω + 22 + ω3 + ω2 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω3 + ω2 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω3 + ω2 + ω2.

"ωω + 22 + ω3 + ω22, ωω + 22 + ω3 + ω22 + 1, ωω + 22 + ω3 + ω22 + 2, ωω + 22 + ω3 + ω22 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω3 + ω22 + ω.

"ωω + 22 + ω3 + ω22 + ω, ωω + 22 + ω3 + ω22 + ω + 1, ωω + 22 + ω3 + ω22 + ω + 2, ωω + 22 + ω3 + ω22 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω3 + ω22 + ω + ω.

"ωω + 22 + ω3 + ω22 + ω2, ωω + 22 + ω3 + ω22 + ω2 + 1, ωω + 22 + ω3 + ω22 + ω2 + 2, ωω + 22 + ω3 + ω22 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω3 + ω22 + ω2 + ω.

"ωω + 22 + ω3 + ω22 + ω3, ωω + 22 + ω3 + ω22 + ω3 + 1, ωω + 22 + ω3 + ω22 + ω3 + 2, ωω + 22 + ω3 + ω22 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω3 + ω22 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω3 + ω22 + ω2.

"ωω + 22 + ω3 + ω23, ωω + 22 + ω3 + ω23 + 1, ωω + 22 + ω3 + ω23 + 2, ωω + 22 + ω3 + ω23 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω3 + ω23 + ω.

"ωω + 22 + ω3 + ω23 + ω, ωω + 22 + ω3 + ω23 + ω + 1, ωω + 22 + ω3 + ω23 + ω + 2, ωω + 22 + ω3 + ω23 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω3 + ω23 + ω + ω.

"ωω + 22 + ω3 + ω23 + ω2, ωω + 22 + ω3 + ω23 + ω2 + 1, ωω + 22 + ω3 + ω23 + ω2 + 2, ωω + 22 + ω3 + ω23 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω3 + ω23 + ω2 + ω.

"ωω + 22 + ω3 + ω23 + ω3, ωω + 22 + ω3 + ω23 + ω3 + 1, ωω + 22 + ω3 + ω23 + ω3 + 2, ωω + 22 + ω3 + ω23 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω3 + ω23 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω3 + ω23 + ω2.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω3 + ω3.

"ωω + 22 + ω32, ωω + 22 + ω32 + 1, ωω + 22 + ω32 + 2, ωω + 22 + ω32 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω32 + ω.

"ωω + 22 + ω32 + ω, ωω + 22 + ω32 + ω + 1, ωω + 22 + ω32 + ω + 2, ωω + 22 + ω32 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω32 + ω + ω.

"ωω + 22 + ω32 + ω2, ωω + 22 + ω32 + ω2 + 1, ωω + 22 + ω32 + ω2 + 2, ωω + 22 + ω32 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω32 + ω2 + ω.

"ωω + 22 + ω32 + ω3, ωω + 22 + ω32 + ω3 + 1, ωω + 22 + ω32 + ω3 + 2, ωω + 22 + ω32 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω32 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω32 + ω2.

"ωω + 22 + ω32 + ω2, ωω + 22 + ω32 + ω2 + 1, ωω + 22 + ω32 + ω2 + 2, ωω + 22 + ω32 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω32 + ω2 + ω.

"ωω + 22 + ω32 + ω2 + ω, ωω + 22 + ω32 + ω2 + ω + 1, ωω + 22 + ω32 + ω2 + ω + 2, ωω + 22 + ω32 + ω2 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω32 + ω2 + ω + ω.

"ωω + 22 + ω32 + ω2 + ω2, ωω + 22 + ω32 + ω2 + ω2 + 1, ωω + 22 + ω32 + ω2 + ω2 + 2, ωω + 22 + ω32 + ω2 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω32 + ω2 + ω2 + ω.

"ωω + 22 + ω32 + ω2 + ω3, ωω + 22 + ω32 + ω2 + ω3 + 1, ωω + 22 + ω32 + ω2 + ω3 + 2, ωω + 22 + ω32 + ω2 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω32 + ω2 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω32 + ω2 + ω2.

"ωω + 22 + ω32 + ω22, ωω + 22 + ω32 + ω22 + 1, ωω + 22 + ω32 + ω22 + 2, ωω + 22 + ω32 + ω22 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω32 + ω22 + ω.

"ωω + 22 + ω32 + ω22 + ω, ωω + 22 + ω32 + ω22 + ω + 1, ωω + 22 + ω32 + ω22 + ω + 2, ωω + 22 + ω32 + ω22 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω32 + ω22 + ω + ω.

"ωω + 22 + ω32 + ω22 + ω2, ωω + 22 + ω32 + ω22 + ω2 + 1, ωω + 22 + ω32 + ω22 + ω2 + 2, ωω + 22 + ω32 + ω22 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω32 + ω22 + ω2 + ω.

"ωω + 22 + ω32 + ω22 + ω3, ωω + 22 + ω32 + ω22 + ω3 + 1, ωω + 22 + ω32 + ω22 + ω3 + 2, ωω + 22 + ω32 + ω22 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω32 + ω22 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω32 + ω22 + ω2.

"ωω + 22 + ω32 + ω23, ωω + 22 + ω32 + ω23 + 1, ωω + 22 + ω32 + ω23 + 2, ωω + 22 + ω32 + ω23 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω32 + ω23 + ω.

"ωω + 22 + ω32 + ω23 + ω, ωω + 22 + ω32 + ω23 + ω + 1, ωω + 22 + ω32 + ω23 + ω + 2, ωω + 22 + ω32 + ω23 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω32 + ω23 + ω + ω.

"ωω + 22 + ω32 + ω23 + ω2, ωω + 22 + ω32 + ω23 + ω2 + 1, ωω + 22 + ω32 + ω23 + ω2 + 2, ωω + 22 + ω32 + ω23 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω32 + ω23 + ω2 + ω.

"ωω + 22 + ω32 + ω23 + ω3, ωω + 22 + ω32 + ω23 + ω3 + 1, ωω + 22 + ω32 + ω23 + ω3 + 2, ωω + 22 + ω32 + ω23 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω32 + ω23 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω32 + ω23 + ω2.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω32 + ω3.

"ωω + 22 + ω33, ωω + 22 + ω33 + 1, ωω + 22 + ω33 + 2, ωω + 22 + ω33 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω33 + ω.

"ωω + 22 + ω33 + ω, ωω + 22 + ω33 + ω + 1, ωω + 22 + ω33 + ω + 2, ωω + 22 + ω33 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω33 + ω + ω.

"ωω + 22 + ω33 + ω2, ωω + 22 + ω33 + ω2 + 1, ωω + 22 + ω33 + ω2 + 2, ωω + 22 + ω33 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω33 + ω2 + ω.

"ωω + 22 + ω33 + ω3, ωω + 22 + ω33 + ω3 + 1, ωω + 22 + ω33 + ω3 + 2, ωω + 22 + ω33 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω33 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω33 + ω2.

"ωω + 22 + ω33 + ω2, ωω + 22 + ω33 + ω2 + 1, ωω + 22 + ω33 + ω2 + 2, ωω + 22 + ω33 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω33 + ω2 + ω.

"ωω + 22 + ω33 + ω2 + ω, ωω + 22 + ω33 + ω2 + ω + 1, ωω + 22 + ω33 + ω2 + ω + 2, ωω + 22 + ω33 + ω2 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω33 + ω2 + ω + ω.

"ωω + 22 + ω33 + ω2 + ω2, ωω + 22 + ω33 + ω2 + ω2 + 1, ωω + 22 + ω33 + ω2 + ω2 + 2, ωω + 22 + ω33 + ω2 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω33 + ω2 + ω2 + ω.

"ωω + 22 + ω33 + ω2 + ω3, ωω + 22 + ω33 + ω2 + ω3 + 1, ωω + 22 + ω33 + ω2 + ω3 + 2, ωω + 22 + ω33 + ω2 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω33 + ω2 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω33 + ω2 + ω2.

"ωω + 22 + ω33 + ω22, ωω + 22 + ω33 + ω22 + 1, ωω + 22 + ω33 + ω22 + 2, ωω + 22 + ω33 + ω22 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω33 + ω22 + ω.

"ωω + 22 + ω33 + ω22 + ω, ωω + 22 + ω33 + ω22 + ω + 1, ωω + 22 + ω33 + ω22 + ω + 2, ωω + 22 + ω33 + ω22 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω33 + ω22 + ω + ω.

"ωω + 22 + ω33 + ω22 + ω2, ωω + 22 + ω33 + ω22 + ω2 + 1, ωω + 22 + ω33 + ω22 + ω2 + 2, ωω + 22 + ω33 + ω22 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω33 + ω22 + ω2 + ω.

"ωω + 22 + ω33 + ω22 + ω3, ωω + 22 + ω33 + ω22 + ω3 + 1, ωω + 22 + ω33 + ω22 + ω3 + 2, ωω + 22 + ω33 + ω22 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω33 + ω22 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω33 + ω22 + ω2.

"ωω + 22 + ω33 + ω23, ωω + 22 + ω33 + ω23 + 1, ωω + 22 + ω33 + ω23 + 2, ωω + 22 + ω33 + ω23 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω33 + ω23 + ω.

"ωω + 22 + ω33 + ω23 + ω, ωω + 22 + ω33 + ω23 + ω + 1, ωω + 22 + ω33 + ω23 + ω + 2, ωω + 22 + ω33 + ω23 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω33 + ω23 + ω + ω.

"ωω + 22 + ω33 + ω23 + ω2, ωω + 22 + ω33 + ω23 + ω2 + 1, ωω + 22 + ω33 + ω23 + ω2 + 2, ωω + 22 + ω33 + ω23 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω33 + ω23 + ω2 + ω.

"ωω + 22 + ω33 + ω23 + ω3, ωω + 22 + ω33 + ω23 + ω3 + 1, ωω + 22 + ω33 + ω23 + ω3 + 2, ωω + 22 + ω33 + ω23 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω33 + ω23 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω33 + ω23 + ω2.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 22 + ω33 + ω3.

"ωω + 23, ωω + 23 + 1, ωω + 23 + 2, ωω + 23 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 23 + ω.

"ωω + 23 + ω, ωω + 23 + ω + 1, ωω + 23 + ω + 2, ωω + 23 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 23 + ω + ω.

"ωω + 23 + ω2, ωω + 23 + ω2 + 1, ωω + 23 + ω2 + 2, ωω + 23 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 23 + ω2 + ω.

"ωω + 23 + ω3, ωω + 23 + ω3 + 1, ωω + 23 + ω3 + 2, ωω + 23 + ω3 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 23 + ω3 + ω.

...

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 23 + ω2.

"ωω + 23 + ω2, ωω + 23 + ω2 + 1, ωω + 23 + ω2 + 2, ωω + 23 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 23 + ω2 + ω.

"ωω + 23 + ω2 + ω, ωω + 23 + ω2 + ω + 1, ωω + 23 + ω2 + ω + 2, ωω + 23 + ω2 + ω + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 23 + ω2 + ω + ω.

"ωω + 23 + ω2 + ω2, ωω + 23 + ω2 + ω2 + 1, ωω + 23 + ω2 + ω2 + 2, ωω + 23 + ω2 + ω2 + 3, ... ".

Eventually he ran out of natural numbers again. That didn't stop him. He'd just use ωω + 23 + ω2 + ω2 + ω.

"ωω + 23 + ω2 + ω3, ωω + 23 + ω2 + ω3 + 1, <