Collatz $4n+1$ rule?

collatz-conjecture

If $n$ is odd, we have $4n+1 \to 12n+4 \to 6n+2 \to 3n+1$, while $n \to 3n+1$ so the streams join with $4n+1$ taking two extra steps.

Related

If $f \colon M \to N$ is surjective, $K \subseteq \ker f \subseteq M$, and $M/K \cong N$, does that imply $K = \ker f$?
Showing that $\lim_{h\rightarrow0}\max_{y\in[x,x+h]}f(y)=f(x)$
Compactness of automorphic quotient - quaternion group and $\mathrm{GL}_{2}$
Hoeffding type inequality for bounding deviation of a sequence
If sequences $A$ and $B$ satisfy $A,B=B,A$ then $A$ and $B$ are concatenations of the same sequence
Prove that $\text{Id}_{\text{dom }\mathcal R}⊆\mathcal R^{-1}∘\mathcal R$ and $\text{Id}_{\text{rank }\mathcal R}⊆\mathcal R∘\mathcal R^{-1}$
Problem handling free groups in algebraic topology
Find all the natural numbers between $1 \leq a \leq 1000$ which fulfill $a^{11764} \equiv a^4\pmod{25725}$ [duplicate]
How can $\sqrt{x^2}=|x|$ [duplicate]
Can Cauchy Schwarz inequality be proven using Jensen's inequality?
Given a bounded sequence in $L^1([a,b])$, is $(t\mapsto \int_a^t f_n \,\mathrm d\lambda)_n$ equicontinuous?
Defining arbitrary join on the set of complete ideals of a Heyting Algebra