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.