freezing point depression; freezing-point lowering