We know that if they're satisfied than we have this great way of finding the best edge in each iteration, we just do an extractment But how do we make sure that these N variance stay maintained throughout the algorithm? 