On Feb 4, 2018, at 5:59 PM, Daniel Heidinga <daniel_heidi...@ca.ibm.com> wrote: > > all further computation is not observable by users.
Yeah, that’s pretty loose. I don’t think anyone wants to propose rollback for this corner case. Can anyone provide a better rephrase of the point? (Who puts the dan in pedantic??)