Отправить по sms: First-order logic