Notes on ordering/delivery invariants.

With respect to #22 :)