How not to summon a demon lord