Meer K. Model Theory, Computer Science, and Graph Polynomials...2025