https://profilpelajar.com/en/Ehrenfeucht–Fraïssé_game