Rigorous results in non-equilibrium statistical mechanics | lit.salon