If you’d execute outside the prison, we could evolve the dying axiom once and for all.