ininet.org//graph-structure-and-monadic-second-order-logic.html