freezing point depression; freezing point lowering