Before revision: Elevating the De Morgan's law for to an equivalence, as is the case in classical logic, then the statement expresses that any real number which is not equal or below some non-positive number is positive,
After revision: Elevating the De Morgan's law for to an equivalence, as is the case in classical logic, the preivous statement already implies this.Weakening the hypothesis results in the stronger principle that any real number which is not equal or below some non-positive number is positive,