We already had one, actually. Baker made one >>6694 here. We could use yours instead if you're doing more specific coordination right now. Baker probably won't mind.
Oh hey, hive mind. Hello Topol. Did you see what I put at the top of this post? >>6717
I don't need proof by induction personally. There are infinite sets of (e,n), within each (e,n) there either aren't any elements or there is an infinite set of elements, and you can go from one t index of that (e,n) to the next with the formulae for creating a new endxab. So that's confirmation from at least one of us.