Accumulation Functions as Antiderivatives