Statistical Mechanics: Rigorous Results | Synapse