Now let's suppose that P (the "prover") knows a solution to a certain well-known HC problem
continued...
