v1 | (+ (+ 2 v3) 1)
