“what it means to stop an execution”