>>10842060The so-called “funky sum” is defined, you’re just extending the definition of summation in a natural way, much like we come up with natural extensions of addition, multiplication, exponentiation, etc. of naturals, integers, rationals, reals, complex numbers, vector spaces, functions, etc.