New paper on P vs NP

[Timothy Y. Chow]

Lew Gordeew wrote:

> No, I don't see how to seriously weaken EFA. Sorry.

Exactly what part of the proof requires going beyond S_2^2?

Alternatively, what makes your property non-natural in the sense of 
Razborov and Rudich?

You say that your proof does not introduce "new groundbreaking ideas" and 
analyzes "already known techniques in a more sophisticated Boolean 
framework."  But if your property is non-naturalizable then that is 
certainly groundbreaking.

Tim