Maybe progress in desugaring