Re: [math-fun] Judge rules 'Bayes' can no longer be used ...