Re: [bv-dev] Question on Formal Group Definitions rules