Відправити по sms: Logic and Proof Techniques /