Enviar por SMS: Existential second−order logic over graphs: Charting the tractability frontier