Refactored: FinalSet, FinalSetTest