k. In the same way that
trees correspond to ways to fully parenthesize strings, we can use them to designate iterated commutators, like [[G,[G,G]],G]. Call it [G;T] for a given tree T. Then for what trees T and S is [G;T] a subgroup of [G;S] for all groups G? This vastly generalizes the lower central series embedding into the derived series.