This is why we need while-else. Not the pythonic version, mind you.