Notes on ordering/delivery invariants.