A mathematical theory of running, based on the first law of thermodynamics, and its application to the performance of world-class athletes.