[Boost-announce] Formal Review: Indexed Set