Ehrenfeucht–Fraïssé_game loading ...