Freezing-point lowering