[jacquesm]

> This is hardly the first unverified proof of the equality of P and NP.

in 'a' above didn't you mean to write 'inequality of P and NP' ?

[ynniv]

I meant the general field of equality as it relates to P an NP, but I have edited for clarity.