@bastianventhur almost typed that, but then realized that some people might say that non-negative (X >= 0) is not equal to positive (X > 0).