Added text about the goal-domain tracing