Se dice que es no determinístico, ya que debe hacerse una "elección no determinística" de la acción a agregar mediante la cual se logra la precondición elegida.