w1w2z=12(w1w2+z𝒲{w1,w2}),