reasoning traceability