Відправити по sms: Proof, logic, and formalization