Відправити по sms: A precis of mathematical logic