Suppose I have 2 probability distribution functions on two sets, A and B. Now suppose that I have variables taking up values from each of these probability spaces
and the conjecture is that you can turn any such term into an equivalent term in O(n) steps, where a step is either an application of a commutativity law or one of an assoc law
His conjecture was that you can turn a full binary tree with leaves numbered from 1 to n to any other full binary tree with leaves from 1 to n using only tree rotations and swaps in O(n) time