Wow. I just heard about the 3x+1 problem