Re: [boost] [Boost-users] Formal Review: Boost.RangeEx