lucifer the devil is a part timer