FinSets Iterators working, started PFBs