Surjunctivity conjecture

Statement
The conjecture is that every group is a surjunctive group.