It is Riho Terras's ingenious observation that although the behavior of the total
stopping time function seems hard to analyze, a great deal can be said
about the stopping time function.
He proved the following fundamental result ([67], [68]),
also found independently by Everett [31].
Annotation Form Interface