殘雪

wtf (E)x [ f1(x)^f2(x)^...^f(n)] should be--> (E)x [ f1(x)^f2(x)^...^fn(x)]