new: FinalSet