Lucifer as a defeated angel