Z = Σe^(-βE_s); F = -k_BT ln Z generates all thermo via derivatives; path-integral representation in QM.