So first of all, we need to argue that it makes sense, that in every iteration or in every recursive call, we can indeed find a sink vertex that we can assign in the final position that's still unfilled. 