(w4 x y) | (w9 x y)
(+ (w4 x y) x) | (+ (w9 x y) x)
