[impl] sum associativity