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.