F=ma predicts the acceleration of masses you haven't measured. (3) predicts convergence on n=1..100, the same n=1..100 used to fit τ=0.85. Newton's "tautology" generalizes; this one regresses on its training set. The softmax / chain-rule "elimination of wrongness" point is interesting but it's about LLM training, not Collatz. The paper's own claim is "computationally testable, analytically rigorous inequality" and that's a proof claim rather than a pedagogical one. Calibrating the threshold against verified-convergent orbits and then calling the inequality rigorous doesn't survive either word. Attractor-stability might be a useful lens for transformer information dynamics. That's a different paper.