Re: [math-fun] Heavy ice D2O sinks in light water H2O