关于强连通分量的low的定义

rt，oiwiki 的定义：在 u 的子树中能够回溯到的最早的已经在栈中的结点。

但是就有点看不懂了，else if(instk[v]) 时为什么用 dfn 而不是 low 更新 low_u？（用 low_v 更新 low_u 在求 scc 时有区别吗？如果没有，在其他方面有区别吗？）

其他地方貌似有“最多一条非树边”啥的限制，不懂。但如果这样定义的话见 在同一个边双连通分量中点low值必定相同？，low 就不能作为属于同一个强连通分量的依据（虽然专门有求 bel），就很晕

（昨天军训的时候想到的，tarjan 和 kmp 啥的真的是用一次学一次的东西（哭））