let
nonpositive c = c <= 0