Freezing Point Depression Formula and Definition