Ehrenfeucht–Fraïssé game back-and-forth games w https://en.wikipedia.org/wiki/Ehrenfeucht–Fraïssé game