The conjecture that (udr,pk)(\operatorname{udr},\operatorname{pk})(udr,pk) is shuffle compatible
Shuffle-compatibility conjecture. The pair