From the viewpoint of this heuristic argument, the central difficulty of the problem lies in understanding in detail the ``mixing'' properties of iterates of the function for all powers of 2. The function does indeed have some ``mixing'' properties given by Theorems B and K below; these are much weaker than what one needs to settle the Conjecture.