Two years later, researches on "Charcoal Vacua" with James Dewar led him to see the true dynamical explanation of the Crookes radiometer in the large mean free path of the molecule of the highly rarefied air. From 1879 to 1888, he engaged in difficult experimental investigations. These began with an inquiry into what corrections were required for thermometers operating at great pressure. This was for the benefit of thermometers employed by the "Challenger" expedition for observing deep-sea temperatures, and were extended to include the compressibility of water, glass, and mercury. This work led to the first formulation of the Tait equation, which is widely used to fit liquid density to pressure. Between 1886 and 1892 he published a series of papers on the foundations of the kinetic theory of gases, the fourth of which contained what was, according to Lord Kelvin, the first proof ever given of the Waterston-Maxwell theorem (equipartition theorem) of the average equal partition of energy in a mixture of two gases. About the same time he carried out investigations into impact and its duration.