non-deterministic networks