Re: [math-fun] Is zero “weakly positive”?