Відправити по sms: New Methods in symbolic logic/