Text this: On model-theoretic approaches to monadic second-order logic evaluation