Lo segundo sólo implica un despliegue correcto del proceso lógico”.