The Christian notion of the possibility of redemption is incomprehensible to the computer.