If mass-energy equivalence is taken into account, when water is cooled to form ice, the mass of water should