add invariant assertion code, and comment our source a little better (this really needs a formal description)
Attach a file by drag & drop or click to upload
