Introduction and Overview; – Model Structures; – Premodels and Models; – Soundness and M-Equivalence; – Validating CQ; – A Countermodel to CQ; – Completeness and the Barcan Formulas.