let nonpositive c = c <= 0