dialectic_tracer