take that ultrafinitists: https://en.wikipedia.org/wiki/Goodstein%27s_theorem
a Schelling point for those who seek one
