Graph Structure and Monadic Second-Order Logic: Monadic second-order logic