Are devils fallen angels?