"Con la condición de que y sea una variable que no ocurre libre ni en /\xPx ni en ninguna hipótesis dentro de cuyo alcance se encuentra "P"y"