An Execution and Its Witness