The precondition (or assertion) in this mission is invalid, because zero isn't a positive Int :smile:
Input: A positive Int numberLength(0) == 1
Input: A positive Int
numberLength(0) == 1