Kruskals' done