Text this: Existential second−order logic over graphs: Charting the tractability frontier