Where does `6.0 / 9.0` come from?  I don't see anything equivalent in the weight formula below...