Esto significa que "D" puede trazar todas las posibilidades y trayectorias de ejecución del algoritmo "N".