Text this: The monadic second order theory of all countable ordinals /