The Theory of Traces for Systems with Nondeterminism, Probability, and Termination (Logical Methods in Computer Science, 2022)