Pošljite SMS: Temporal datalog with existential quantification