more progress on Levy