middle of non-deterministic computing