Re: [boost] [context review] Formal Review