A workable formula for TraceΨ is provided by (4.3View Equation) (compare [228, eq. 4.14]).