TBH sooner or later explaining the opaque recurrence with extrinsic logic will be more sustainable, and already there is a need for that with existing models. Human language readable chains of thought are just a false sense of security, and open models already emit pretty unreadable ones at times while doing the right thing based on it (since policy optimization loops with synthetic data through reinforcement learning).