Does the program responsible for calculating 3X + 1 move onto the next number when it goes lower than the Current number because that one was already proven to work?