Air gets thinner as we go up in the atmosphere. Will the velocity of sound change?