On 31/08/2010 15:09, Aahz wrote: > I suggest that we should agree on these guarantees and document them in > the core. I suspect that documenting them will be the easy part ;)