Finite Set -- Update 1