TheoryTrace Learning that keeps its trace