I will observe, without asserting that it is actually the case, that successful executions of #3 should be indistinguishable from #4. (And this is maybe a con

I will observe, without asserting that it is actually the case, that successful executions of #3 should be indistinguishable from #4. (And this is maybe a consequence of #1).