Walks on ordinals. See Propositions 4 & 5 from [here](http://blog.assafrinot.com/?p=3432).