Text this: Monadic second-order definable graph orderings