Re: [boost] Re: FORMAL review of "Output Formatters" - results