Text this: A first-order theory of Ulm type.