progression on Levy inversion