Howard Hinnant wrote: > [snip] Thanks for the explanation. Indeed, now I understand: unconsciously I was considering the map/set case, *not* the multimap/multiset case. Only in latter case you see clearly the difference and your pseudocode is ok for *both*. Thans again, Paolo.