Text this: CHARACTERIZATIONS OF MONADIC SECOND ORDER DEFINABLE CONTEXT-FREE SETS OF GRAPHS.