Those traces are just summaries of the reasoning.