1In fact, it may not be defined for some X if the Collatz-Kakutani conjecture is false