v2 | (+ v4 1)
