Text this: DECIDING DEFINABILITY IN FO2(<v,<h) ON TREES.