Re: [math-fun] [MOG-group] non-MOG