A new definition of the trace and the spec