Title: Enoch, or, Idris, and death