This would also provide a more explicit convergence criteria to this.
We could just call sumOption on the semigroup at this point.