Let T:N → N be the function defined by T(n)=n2 if n is even, T(n)=(3n+1)2 if n is odd. We show, among other things, that any nontrivial cyclic orbit u…