Отправить по sms: Existential second−order logic over graphs: Charting the tractability frontier