Committing the re-execution