traces are identified by equivalence not