where b s is the molality of the solute in the solution, M s its molar mass, k f the cryoscopic constant and T m the melting point of water; we also introduce T eq as the equilibrium freezing temperature of the solution before the formation of any ice, i.e. when m i = 0. The nucleation rate J then is expressed as