be redoubled
ingemino
–
be redoubled, increase, repeat, to redouble