The assumption is that those reasoning traces are the lowest level. But we can't observe the reasoning-for-reasoning (the reasoning in a transformer block.) Sa

The assumption is that those reasoning traces are the lowest level. But we can't observe the reasoning-for-reasoning (the reasoning in a transformer block.) Saying that one is enough is pretty arbitrary.