(+ (v2 x) 1) | (w3 x)
