Computing with non-deterministic operations and computing with free variables by narrowing has the same expressive power.
Calculul cu operații non-deterministe și calculul cu variabile libere prin îngustare are aceeași putere expresivă.