Really replaced `lteZero` with `LTEZero`