3. Iterative Clustering (with Abstraction)