Ahora, supongamos que N fuera un combinador para detectar formas normales,