Would very much like to read such a post. I have the basic intuition that it is a soft form of “witness” (as in complexity/cryptography), but it is not very developed.
Would very much like to read such a post. I have the basic intuition that it is a soft form of “witness” (as in complexity/cryptography), but it is not very developed.