diduce

not defined yet