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