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 ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results