> Do you think having the invariant that blocks are not mutated would
> significantly simply the design?

No.  As mentioned in my previous email and others, the complexity is in 
hflush.  Once we have hflush, append is straightforward.

Nicholas

Reply via email to