Ehrenfeucht–Mycielski sequence

GPTKB entity