Zaslat SMS: First-order logic