$\textit{low}_u 定义为以下结点的 \textit{dfn} 的最小值：\textit{Subtree}_u 中的结点；从 \textit{Subtree}_u 通过一条不在搜索树上的边能到达的结点。$

OI-Wiki上这句定义是不是有问题，比如：

对于 ${5,6,7}$ 这个强连通分量，由 $5$ 到 $2$ 的过程中满足 OI-Wki 的定义，但不能认为 $low_5=2$ 。（$2$ 不在栈中）