"trace equivalence" . . "trace equivalence" . .