I also just realized that I sort of sketched the basics of "algebraic matching", where the original PEP completely bypassed that issue and (x, x) doesn't even do what seems obvious? Or am I reading ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results