desugar and ac implemented