今天本蒟蒻学了Tarjan缩点

在Tarjan缩点的标程中，有一句

if(ins[y]) low[x]=min(low[x],dfn[y]);

其中ins[y]表示y是否在栈中，然后窝百思不得其解，为什么是min(low[x],dfn[y])而不是min(low[x],low[y]）呢？求各位dalao解答！