correctness of spanning tree!!