Re: Non-determinism forever. (was -- Re: GUT and P=NP)