The 7-Engel conjecture for the identity t4=0t_4=0t4=0
7-Engel conjecture. The identity t4=0t_4=0t4=0 implies the 777-Engel identity.