P
Initializing...
Thermal equilibrium is transitive · Prove2Me