sum from x to 0 = sum from x to 0 = sum from x to 0 = {sum from x to 0 = sum from x to 0 = sum from x to 0}