This talk will introduce sofic groups, construct the Higman groups, and show how a simply stated problem about iterations of polynomials with coefficients in the integers modulo a prime $p$ would prove that the Higman group $H_4$ is not sofic.
Mel Nathanson