F = U − TS. Minimised at equilibrium in a system at fixed T and V; partition-function link: F = −k_B T ln Z.