[finite-model-theory] Gandy centenary