He asked me how one would go about taking down God, because he thought fighting Lucifer might be similar. I told him to find a being with equal power and use them against him, or to turn his own demons against him. My world's Lucifer is not a being I've dealt with much, despite the demons I've contracted with. If I were able to battle with him and make it out alive, I might be able to modify the summoning program to bind him, but I don't have enough power to fight him on my own.