Can Entropy Ever Decrease Synonym Formally