(+ (v0 x) x) | x
