Desugaring works.