that successful executions of #3 should be indistinguishable from #4.
(And this is maybe a consequence of #1).
that successful executions of #3 should be indistinguishable from #4.
(And this is maybe a consequence of #1).