Timed-trace formalisms have emerged as a powerful method for specifying and reasoning about concurrent real-time systems.
We present a simple variant which builds methodically on set theory, and is thus suitable for use by programmers with little
formal methods experience.