Equation 37: Change Trace{...} to (...)