The ice rule was introduced by Linus Pauling in 1935 to account for the residual entropy of ice that had been measured by William F. Giauque and J. W. Stout. The residual entropy, S , of ice is given by the formula