I've been trying to grok where Wolfram is heading with this approach, and I just had a minor epiphany, probably brought on by binge-watching Devs: All of the rules he's constructing and using seem to be deterministic.