freezing-point depressions