It's just testing whether this edge connects anybody in, in the equivalence class corresponding to V with anybody in the equivalence class corresponding to Y, for to W and if it did, it creates a cycle. 