Tagged trace-adkins