We prove that a residually finite group G satisfying an identity and generated by a commutator closed set X of bounded left Engel elements is locally nilpotent. We also extend such a result to locally graded groups, provided ...