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