Відправити по sms: First-order logic