Re:[boost] Re: FC++ -- Formal Review Result