1: \begin{abstract}

2: We give two applications of the $2$-Engel relation, classically studied in finite and Lie groups, to the $4$-dimensional topological surgery conjecture.

3: The \mbox{A-B} slice problem, a reformulation of the surgery conjecture for free groups, is 

4: shown to admit a homotopy solution.

5: We also exhibit a new collection of universal surgery problems,

6: defined using ramifications of  homotopically trivial links. 

7: More generally we show how $n$-Engel relations arise from higher order double points of surfaces in $4$-space.

8: \end{abstract}

9: