Use sets instead of universal_vector