Bodirsky–Schneider–Thom conjecture on singular mixed identities in oligomorphic groups
Bodirsky–Schneider–Thom conjecture. If G↷ΩG\curvearrowright\OmegaG↷Ω is oligomorphic, then all mixed identities of GGG are singular.