Section 8.3 of BitC spec: "It is customary for programs that introduce ``collection'' types to provide both operations for both insertion and lookup." Redundant use of "both"; "provide operations for both insertion and lookup" is probably the clearest. Sandro