What dictionary has to say about

non deterministic computations