Re: P is not equal to NP (fwd)