So I read this post afterwards: http://cs.stackexchange.com/questions/9795/is-the-open-question-np-co-np-the-same-as-p-np http://cs.stackexchange.com/questions/

So I read this post afterwards: http://cs.stackexchange.com/questions/9795/is-the-open-question-np-co-np-the-same-as-p-np http://cs.stackexchange.com/questions/9795/is-the-open-quest... Then I know why this proof is important. Hope it can get through some peer-reviewed journal/conference later.