We investigate the variety of groups determined by the identity [[X(1)
,X(2),...,X(m)],[X(m+1),X(m+2),...,X(m+n)]] = 1, and show that relativ
ely free groups in this variety are torsion free. This is done by prov
ing the analogous statement for Lie rings. The proof yields an affirma
tive answer to a question of Djokovic.