finished text in PE about goal-domain tracing