12
More EF Games (informally)
º
k
CONN is not expressible in FO
