أرسل هذا في رسالة قصيرة: Existential Second−Order Logic over Strings