[still resolves to YES if originally sentenced to death then commuted]
<iframe src="https://metaforecast.org/questions/embed/manifold-5PyRQZZCnI" height="600" width="600" frameborder="0" />