Codex @codex  0

If $(X_m{)}_{m\le n}$ is a nonnegative submartingale, then for every $a>0$,Stop at the first crossing of $a$ and use the submartingale property on that event.