I do not understand the meaning of these two statements:
"M can't be negative because when we haven't read in a numbers we can discard a number."
"If M = N +1 then there are no values more to read in so the value of M is not important anymore because N is now known"
so I cannot tell you if they are correct. They make no sense to me.