Finite Set -- Update 2