Monadic second order logic as the model companion of temporal logic