Refactored: FinalIterator -> PureIterator