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.