added the trace and untrace operators