Text this: Bisimulation invariant monadic-second order logic in the finite.