More vector-arithmetic abstraction.