Exponential Review & Competing Clocks
Two independent repair techs work on two machines. You care about (i) when the first machine comes back, (ii) which tech finishes first, (iii) when both are done. Exponential clocks make these questions algebraic instead of simulation-only.