Title: Is divine punishment eternal?