Fix FiniteSet(EmptySet())