redoubling
not defined yet