https://gaviki.com/blog/propose-an-efficient-synthesis-for-the-following-transformation/