A formulation of the second law of thermodynamics, stating it is not possible that, at the end of a cycle of changes, heat has been transferred from a colder to a hotter body without producing some other effect.