Text this: Formal methods of estimating risks in trade