do not use foo < 0 if foo can be symbolic