Re: [boost] [metamath] Error and question about function calls