Engel expansion: Difference between revisions