For justice to have any meaning, it must also mean that no innocent person should ever be executed.