The current programme: statistical lawhood under finite description. Four
axioms force the KL divergence as the measure of lawhood; what a description keeps of a lawful
world, what it pays, and the structured way it fails.
5 working drafts