And what I'm going to argue is that indeed something does distinguish the third, and it maps exactly on to the kind of Porter-Henderson logic that we've been talking about.
Y lo que argumentaré es que, efectivamente, algo distingue la tercera, y se corresponde exactamente a la clase de lógica de Porter-Henderson de la que hemos estado hablando.