101
102
103
104
pushing Anscombe-Jahnke up the ladder
106
108
109
110
111
113
114
115
116
117
119