What is the most appropriate precondition for the variable j in the mystery function so that substring does not throw an exception?
1) j ≥ 0
2) j > 0
3) j ≤ 0
4) j < 0