No one devoted of men, who shall be doomed to death, shall be redeemed; he shall surely be put to death.