Safety for bisimulation in monadic second-order logic by M.J. Hollenberg