[finite-model-theory] World Logic Day 2025 celebrations by ALI