[finite-model-theory] After the 3rd World Logic Day