Use trace to solve the label problem.