to ‘redouble’