We prove that five well-known identities universally satisfied bycommutators in a group generate all universal commutator identitiesfor commutators of weight $4$.
Journal of Homotopy and Related Structures, Vol. 2(2007), No. 1, pp. 45-55