On Fri, 30 Apr 2021 22:24:12 +0100, "Sean Charles (emacstheviking)" <objitsu at gmail.com> wrote: > I seek some reassurance that this is the correct reasoning and the correct determinism. I cannot answer that without the part of the write_error predicate you deleted. Zoltan.