Email Record: Büchi's monadic second order successor arithmetic /