gently triggered by someone having a PhD in stat mech and not having to do the grueling proofs of this sort of stuff that at least I did in materials science.