Title: Lucifer, or, The heavenly truce: A theological tragedy