refinements, tracing