I wonder if we'd be any taller if the oxygen concentration in the atmosphere was higher