Operational Semantics for Single-Particle Classical Thermodynamics - YouTube