lemma~\ref{prop:lambda} and~\ref{lm:stopprime}.
\end{proof}
-
+Notice that the calculus of the stationary time upper bound is obtained
+under the following constraint: for each vertex in the $\mathsf{N}$-cube
+there are one ongoing arc and one outgoing arc that are removed.
+The calculus does not consider (balanced) hamiltonian cycles, which
+are more regular and more binding than this constraint.
+In this later context, we claim that the upper bound for the stopping time
+should be reduced.
