[finite-model-theory] Addition to mailing list