I.D07 — tau-Idx (Earned Natural Numbers)

tau-Idx := O_alpha = {alpha, rho(alpha), rho^2(alpha), ...}. The alpha-orbit IS the internal natural numbers (N is not imported but earned).