Envoyer par SMS: Formal methods of estimating risks in trade