Title: Does "everlasting punishment" last forever?