Equations defining probability tree models. (July 2020)