Zaslat SMS: Existential Second−Order Logic over Strings