Deterministic is a special case of not-necessarily-deterministic.