Added section on traces and refinement