now all relevant traces in good form