Creo que te estás refiriendo a la introducción de para-todo (en lugar de implica).
Está bien lo que observás: la variable 
ocurre libre en 
y por lo tanto la aplicación de
la regl 
no es correcta.
Creo que te estás refiriendo a la introducción de para-todo (en lugar de implica).
Está bien lo que observás: la variable ocurre libre en y por lo tanto la aplicación de
la regl no es correcta.