Non-deterministic parallelism considered useful