improved precept tracing...