(Las funciones "p"("x") y "q"("x") participan en esta construcción de forma implícita por su influencia en la elección de "y".)