Tag: f1(x p) = f2(y q) = 0