TraCe(S) >;->