Strongly agree. Ok, human-readable reasoning has some utility for (a) learning and (b) evaluating trust in the tool. But 2nd-gen reasoning models will likely optimize reasoning traces in latent space, and then possibly rendering a human-readable form afterward for (a) and (b).