[jjcc]

Thanks. That's a good explanation. I like "desugaring"