"Like Turing before me, I have reinvented the nondeterministic computing machine..." -- Wolfram, probably...