Re: [Boost-users] [boost]Formal review for QVM