Writing

One rule written before the first module, the single exception that proves it, and what enforcing it centrally actually bought.