redoubled
not defined yet