Text this: Büchi's monadic second order successor arithmetic /