Find an Error But Possible to Fix

Back to home page

During the verification with Google Docs, I found an error in Sec 5. I overlooked that f(σ) depends on z in the non-monotone case.

I think the error can be fixed with an improvement of Phase II of the extension generator theorem. I’m working on it now.