model-theoretic consequence