minusOne and isNonNegative