1. Introduction

2. Differential-algebraic preliminaries

3. Jouanalou-type theorems

4. Counterexamples in higher codimension

5. An analysability in the constants and $D$-groups

6. An abstract resolution?

7. An aside on the difference case

8. The Dixmier-Moeglin Equivalence