validated Sets tests