Since the Original point out of the 2nd execution is Mistaken, the resulting computation can also be wrong. Mainly because finally the 2nd execution will update the final state with the wrong final result. This history would (disregarding doable conflicts concerning what W and W..Y changed) be su