Re: Is "braided monoidal" a conservative extension of "lax braided monoidal"?