I sort of neglect this concept, hand wave it and get it backwards.
Let us define two compact distributions. They can be similar or duals. Dual means a link in one become a node in the other. The S&L technology assumes an approximate match between the loan to deposit sequences. It pays off (interest swaps) according to distance from, accumulating match error. Tjat graph should be the dual, the path length from root to a leaf is basket size. I think. Do not trust me, yet, my mathematician will be coming up for air soon.
But, it is important because the smart contracts are the deliveries, the cash layers has the S&L trees. So,doing conditional odds between the two trees means getting that right.